Accelerating explicit state model checking on an FPGA

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

Accelerating explicit state model checking on an FPGA

Efficient Explicit-State Model Checking on General Purpose Graphics Processors

Explicit State Model Checking for Graph Grammars

Efficient reduction of finite state model checking to reachability analysis

Infinite State Model Checking with Arithmetic Constraints

Image Computation in Infinite State Model Checking

Distributed Explicit State Model Checking of Deadlock Freedom

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

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

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

Quo Vadis Explicit-State Model Checking

Export Citation Format