Towards Distributed Software Model-Checking Using Decision Diagrams
- 1 January 2013
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 830-845
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Towards Distributed Software Model-Checking Using Decision DiagramsLecture Notes in Computer Science, 2013
- DiVinE: Parallel Distributed Model Checker2010
- LTSmin: Distributed and Symbolic Reachability2010
- Hierarchical Set Decision Diagrams and Automatic SaturationLecture Notes in Computer Science, 2008
- BEEM: Benchmarks for Explicit Model Checkers2007
- FORCE2003
- Saturation Unbound2003
- Data Decision Diagrams for Petri Net Analysis2002
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992