Accelerating explicit state model checking on an FPGA

Efficient Explicit-State Model Checking on General Purpose Graphics Processors

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16164-3_8 ◽

2010 ◽

pp. 106-123 ◽

Cited By ~ 15

Author(s):

Stefan Edelkamp ◽

Damian Sulewski

Keyword(s):

Model Checking ◽

General Purpose ◽

State Model ◽

Graphics Processors

Download Full-text

Explicit State Model Checking for Graph Grammars

Concurrency, Graphs and Models - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68679-8_8 ◽

2008 ◽

pp. 114-132 ◽

Cited By ~ 19

Author(s):

Arend Rensink

Keyword(s):

Model Checking ◽

State Model ◽

Graph Grammars

Download Full-text

Efficient reduction of finite state model checking to reachability analysis

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-003-0121-x ◽

2004 ◽

Vol 5 (2-3) ◽

pp. 185-204 ◽

Cited By ~ 41

Author(s):

Viktor Schuppan ◽

Armin Biere

Keyword(s):

Model Checking ◽

Reachability Analysis ◽

State Model ◽

Finite State Model ◽

Efficient Reduction ◽

Finite State

Download Full-text

Infinite State Model Checking with Arithmetic Constraints

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547697 ◽

2008 ◽

Author(s):

Tevfik Bultan

Keyword(s):

Model Checking ◽

State Model ◽

Infinite State

Download Full-text

Image Computation in Infinite State Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_28 ◽

2004 ◽

pp. 361-371

Author(s):

Alain Finkel ◽

Jérôme Leroux

Keyword(s):

Model Checking ◽

State Model ◽

Image Computation ◽

Infinite State

Download Full-text

Distributed Explicit State Model Checking of Deadlock Freedom

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39799-8_16 ◽

2013 ◽

pp. 235-241 ◽

Cited By ~ 1

Author(s):

Brad Bingham ◽

Jesse Bingham ◽

John Erickson ◽

Mark Greenstreet

Keyword(s):

Model Checking ◽

State Model ◽

Deadlock Freedom

Download Full-text

Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems

10.21236/ada492019 ◽

2006 ◽

Author(s):

Tevfik Bultan ◽

Constance Heitmeyer

Keyword(s):

Model Checking ◽

State Model ◽

Critical Systems ◽

Safety Critical ◽

Analysis Techniques ◽

Requirements Specifications ◽

Safety Critical Systems ◽

Infinite State

Download Full-text

Directed explicit-state model checking in the validation of communication protocols

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-002-0104-3 ◽

2004 ◽

Vol 5 (2-3) ◽

pp. 247-267 ◽

Cited By ~ 97

Author(s):

Stefan Edelkamp ◽

Stefan Leue ◽

Alberto Lluch-Lafuente

Keyword(s):

Model Checking ◽

Communication Protocols ◽

State Model

Download Full-text

Explicit state model checking with generalized Büchi and Rabin automata

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092288 ◽

2017 ◽

Cited By ~ 1

Author(s):

Vincent Bloemen ◽

Alexandre Duret-Lutz ◽

Jaco van de Pol

Keyword(s):

Model Checking ◽

State Model

Download Full-text

Quo Vadis Explicit-State Model Checking

Lecture Notes in Computer Science - SOFSEM 2015: Theory and Practice of Computer Science ◽

10.1007/978-3-662-46078-8_5 ◽

2015 ◽

pp. 46-57

Author(s):

Jiří Barnat

Keyword(s):

Model Checking ◽

State Model ◽

Quo Vadis

Download Full-text