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 ◽

Author(s):

Arend Rensink

Keyword(s):

Model Checking ◽

State Model ◽

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Download Full-text

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 ◽

Author(s):

Stefan Edelkamp ◽

Damian Sulewski

Keyword(s):

Model Checking ◽

General Purpose ◽

State Model ◽

Graphics Processors

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 ◽

Author(s):

Viktor Schuppan ◽

Armin Biere

Keyword(s):

Model Checking ◽

Reachability Analysis ◽

State Model ◽

Finite State Model ◽

Efficient Reduction ◽

Download Full-text

Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)80200-2 ◽

1995 ◽

Vol 2 ◽

pp. 222-229 ◽

Author(s):

Yves-Marie Quemener ◽

Thierry Jéron

Keyword(s):

Model Checking ◽

Simple Graph ◽

Graph Grammars ◽

Kripke Structures

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 ◽

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 ◽

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 ◽

Author(s):

Brad Bingham ◽

Jesse Bingham ◽

John Erickson ◽

Mark Greenstreet

Keyword(s):

Model Checking ◽

State Model ◽

Deadlock Freedom

Download Full-text

Accelerating explicit state model checking on an FPGA

10.17760/d20002661 ◽

2012 ◽

Author(s):

Mary Ellen Tie

Keyword(s):

Model Checking ◽

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 ◽

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 ◽

Author(s):

Stefan Edelkamp ◽

Stefan Leue ◽

Alberto Lluch-Lafuente

Keyword(s):

Model Checking ◽

Communication Protocols ◽

Download Full-text