Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-13338-6_3 ◽

2014 ◽

pp. 30-47

Author(s):

Georges Morbé ◽

Christian Miller ◽

Christoph Scholl ◽

Bernd Becker

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Timed Systems ◽

Symbolic Model

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 ◽

Cited By ~ 5

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 Simply-Timed Systems

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_9 ◽

2004 ◽

pp. 102-117 ◽

Cited By ~ 12

Author(s):

Nicolas Markey ◽

Philippe Schnoebelen

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Timed Systems ◽

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