EMMA: Explicit Model Checking Manager (Tool Presentation)

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_15 ◽

2009 ◽

pp. 169-173

Author(s):

Radek Pelánek ◽

Václav Rosecký

Keyword(s):

Model Checking ◽

Explicit Model

Download Full-text

Is there a best büchi automaton for explicit model checking?

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632377 ◽

2014 ◽

Cited By ~ 3

Author(s):

František Blahoudek ◽

Alexandre Duret-Lutz ◽

Mojmír Křetínský ◽

Jan Strejček

Keyword(s):

Model Checking ◽

Explicit Model ◽

Büchi Automaton

Download Full-text

The Petri net twist in explicit model checking

Software & Systems Modeling ◽

10.1007/s10270-014-0422-4 ◽

2014 ◽

Vol 14 (2) ◽

pp. 711-717 ◽

Cited By ~ 2

Author(s):

Karsten Wolf

Keyword(s):

Model Checking ◽

Petri Net ◽

Explicit Model

Download Full-text

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24953-7_10 ◽

2015 ◽

pp. 131-147 ◽

Cited By ~ 6

Author(s):

Arnd Hartmanns ◽

Holger Hermanns

Keyword(s):

Model Checking ◽

Explicit Model ◽

Secondary Storage

Download Full-text

Explicit Model Checking Based on Integer Pointer and Fibonacci Hash

10.1109/icycs.2008.457 ◽

2008 ◽

Author(s):

WanXia Qu ◽

Tun Li ◽

Yang Guo ◽

XiaoDong Yang

Keyword(s):

Model Checking ◽

Explicit Model

Download Full-text

State Space Generation Framework Based on Binary Decision Diagram for Distributed Explicit Model Checking

Computer Science & Information Technology ( CS & IT ) ◽

10.5121/csit.2016.60125 ◽

2016 ◽

Author(s):

Nacer Tabib ◽

Jean Michel Ilie ◽

Djamel Eddine Saidouni

Keyword(s):

Model Checking ◽

State Space ◽

Binary Decision Diagram ◽

Explicit Model ◽

Binary Decision ◽

State Space Generation

Download Full-text

A dead variable analysis for explicit model checking

Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '06 ◽

10.1145/1111542.1111551 ◽

2006 ◽

Cited By ~ 6

Author(s):

Micah Lewis ◽

Michael Jones

Keyword(s):

Model Checking ◽

Explicit Model ◽

Variable Analysis

Download Full-text

Comparing Symbolic and Explicit Model Checking of a Software System

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-46017-9_18 ◽

2002 ◽

pp. 230-239 ◽

Cited By ~ 19

Author(s):

Cindy Eisner ◽

Doron Peled

Keyword(s):

Model Checking ◽

Software System ◽

Explicit Model

Download Full-text

Parallel Explicit Model Checking for Generalized Büchi Automata

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-46681-0_56 ◽

2015 ◽

pp. 613-627 ◽

Cited By ~ 6

Author(s):

Etienne Renault ◽

Alexandre Duret-Lutz ◽

Fabrice Kordon ◽

Denis Poitrenaud

Keyword(s):

Model Checking ◽

Explicit Model ◽

Büchi Automata ◽

Buchi Automata

Download Full-text

Method of UML Statechart Checking Based on Explicit Model Checking

Advances in Intelligent Systems and Computing - 2020 International Conference on Applications and Techniques in Cyber Intelligence ◽

10.1007/978-3-030-53980-1_8 ◽

2020 ◽

pp. 47-52

Author(s):

Jiajing Wang ◽

You Tang ◽

Helong Yu ◽

Wei Huang

Keyword(s):

Model Checking ◽

Explicit Model

Download Full-text

On Refinement of Büchi Automata for Explicit Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23404-5_6 ◽

2015 ◽

pp. 66-83 ◽

Cited By ~ 1

Author(s):

František Blahoudek ◽

Alexandre Duret-Lutz ◽

Vojtěch Rujbr ◽

Jan Strejček

Keyword(s):

Model Checking ◽

Explicit Model ◽

Büchi Automata ◽

Buchi Automata

Download Full-text