Symbolic model checking of process networks using interval diagram techniques

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1145/288548.289117 ◽

1998 ◽

Author(s):

Karsten Strehl ◽

Lothar Thiele

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Process Networks ◽

Diagram Techniques

Download Full-text

Symbolic model checking of process networks using interval diagram techniques

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.743097 ◽

2002 ◽

Author(s):

K. Strehl ◽

L. Thiele

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Process Networks ◽

Diagram Techniques

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

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

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