BDDs vs. Zero-Suppressed BDDs: for CTL symbolic model checking of Petri nets

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/bfb0031826 ◽

1996 ◽

pp. 435-449 ◽

Author(s):

Tomohiro Yoneda ◽

Hideyuki Hatori ◽

Atsushi Takahara ◽

Shin-ichi Minato

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Interval diagram techniques for symbolic model checking of Petri nets

Proceedings of the conference on Design, automation and test in Europe - DATE '99 ◽

10.1145/307418.307452 ◽

1999 ◽

Author(s):

Karsten Strehl ◽

Lothar Thiele

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Diagram Techniques

Download Full-text

Symbolic model checking of dual transition Petri Nets

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003599 ◽

2003 ◽

Author(s):

M. Varea ◽

B.M. Al-Hashimi ◽

L.A. Cortes ◽

P. Eles ◽

Zebo Peng

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Symbolic model checking of Dual Transition Petri Nets

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1145/774789.774799 ◽

2002 ◽

Author(s):

Mauricio Varea ◽

Bashir M. Al-Hashimi ◽

Luis A. Cortés ◽

Petru Eles ◽

Zebo Peng

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Interval diagram techniques for symbolic model checking of Petri nets

Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078) ◽

10.1109/date.1999.761216 ◽

2003 ◽

Author(s):

K. Strehl ◽

L. Thiele

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Diagram Techniques

Download Full-text

Comparison of encoding schemes for symbolic model checking of bounded petri nets

10.31274/etd-180810-2060 ◽

2010 ◽

Author(s):

Nishtha Arora

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