Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45657-0_8 ◽

2002 ◽

pp. 93-106 ◽

Cited By ~ 8

Author(s):

Sharon Barner ◽

Orna Grumberg

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

Formal Methods in System Design ◽

10.1007/s10703-005-2246-x ◽

2005 ◽

Vol 27 (1-2) ◽

pp. 29-66 ◽

Cited By ~ 6

Author(s):

Sharon Barner ◽

Orna Grumberg

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.25.17 ◽

2010 ◽

Vol 25 ◽

pp. 173-187 ◽

Cited By ~ 1

Author(s):

Christian Appold

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

Symbolic Model Checking ◽

Symbolic Model

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 ◽

Cited By ~ 1

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 ◽

Multi Agent

Download Full-text

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

10.21236/ada346065 ◽

1998 ◽

Cited By ~ 4

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 ◽

Cited By ~ 22

Author(s):

B. Chen ◽

M. Yamazaki ◽

M. Fujita

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Chip Design ◽

Symbolic Model

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 ◽

Cited By ~ 10

Author(s):

Hyeong-Ju Kang ◽

In-Cheol Park

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

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 ◽

Cited By ~ 1

Author(s):

Petr Bauch ◽

Vojtěch Havel ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Coverage estimation for symbolic model checking

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

10.1109/dac.1999.781330 ◽

2003 ◽

Cited By ~ 36

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 ◽

Cited By ~ 1

Author(s):

Blake C. Rawlings ◽

Stephane Lafortune ◽

B. Erik Ydstie

Keyword(s):

Model Checking ◽

Supervisory Control ◽

Symbolic Model Checking ◽

Transition Systems ◽

Symbolic Model

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 ◽

Cited By ~ 15

Author(s):

Marco Bozzano ◽

Alessandro Cimatti ◽

Oleg Lisagor ◽

Cristian Mattarei ◽

Sergio Mover ◽

...

Keyword(s):

Model Checking ◽

Safety Assessment ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text