Symbolic model checking using SAT procedures instead of BDDs

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781333 ◽

2003 ◽

Author(s):

A. Biere ◽

A. Cimatti ◽

E.M. Clarke ◽

M. Fujita ◽

Y. Zhu

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2008.00245 ◽

2009 ◽

Vol 31 (2) ◽

pp. 245-252 ◽

Author(s):

Li-Jun WU ◽

Jin-Shu SU ◽

Kai-Le SU

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Multi Agent System ◽

Agent System ◽

Symbolic Model ◽

Download Full-text

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification

10.21236/ada346065 ◽

1998 ◽

Author(s):

Sergey Berezin ◽

Armin Biere ◽

Edmund Clarke ◽

Yunshan Zhu

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Processor Verification

Download Full-text

Bug identification of a real chip design by symbolic model checking

Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC ◽

10.1109/edtc.1994.326886 ◽

2002 ◽

Author(s):

B. Chen ◽

M. Yamazaki ◽

M. Fujita

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Chip Design ◽

Download Full-text

SAT-based unbounded symbolic model checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2004.841068 ◽

2005 ◽

Vol 24 (2) ◽

pp. 129-140 ◽

Author(s):

Hyeong-Ju Kang ◽

In-Cheol Park

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Control Explicit--Data Symbolic Model Checking

ACM Transactions on Software Engineering and Methodology ◽

10.1145/2888393 ◽

2016 ◽

Vol 25 (2) ◽

pp. 1-48 ◽

Author(s):

Petr Bauch ◽

Vojtěch Havel ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Coverage estimation for symbolic model checking

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781330 ◽

2003 ◽

Author(s):

Y. Hoskote ◽

T. Kam ◽

Pei-Hsin Ho ◽

Xudong Zhao

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Coverage Estimation

Download Full-text

Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2018.2877621 ◽

2020 ◽

Vol 28 (2) ◽

pp. 644-652 ◽

Author(s):

Blake C. Rawlings ◽

Stephane Lafortune ◽

B. Erik Ydstie

Keyword(s):

Model Checking ◽

Supervisory Control ◽

Symbolic Model Checking ◽

Transition Systems ◽

Download Full-text

Safety assessment of AltaRica models via symbolic model checking

Science of Computer Programming ◽

10.1016/j.scico.2014.06.003 ◽

2015 ◽

Vol 98 ◽

pp. 464-483 ◽

Author(s):

Marco Bozzano ◽

Alessandro Cimatti ◽

Oleg Lisagor ◽

Cristian Mattarei ◽

Sergio Mover ◽

...

Keyword(s):

Model Checking ◽

Safety Assessment ◽

Symbolic Model Checking ◽

Download Full-text

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80671-6 ◽

2001 ◽

Vol 23 (2) ◽

pp. 88-107 ◽

Author(s):

Jesper Møller ◽

Jakob Lichtenberg ◽

Henrik R. Andersen ◽

Henrik Hulgaard

Keyword(s):

Information Technology ◽

Model Checking ◽

Research Council ◽

Symbolic Model Checking ◽

Timed Systems ◽

Symbolic Model ◽

Technical Research ◽

Technical University

Download Full-text

Symbolic Model Checking for Real-Time Systems

Information and Computation ◽

10.1006/inco.1994.1045 ◽

1994 ◽

Vol 111 (2) ◽

pp. 193-244 ◽

Author(s):

T.A. Henzinger ◽

X. Nicollin ◽

J. Sifakis ◽

S. Yovine

Keyword(s):

Model Checking ◽

Real Time ◽

Symbolic Model Checking ◽

Real Time Systems ◽

Symbolic Model ◽

Download Full-text