The state explosion problem
- 1 January 1998
- book chapter
- Published by Springer Nature
- Vol. 1491, 429-528
- https://doi.org/10.1007/3-540-65306-6_21
Abstract
No abstract availableKeywords
This publication has 73 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Partial-order reduction in symbolic state space explorationPublished by Springer Nature ,1997
- Verifying parameterized networks using abstraction and regular languagesPublished by Springer Nature ,1995
- Exploiting symmetry in temporal logic model checkingPublished by Springer Nature ,1993
- Testing equivalence as a bisimulation equivalenceFormal Aspects of Computing, 1993
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Defining livenessInformation Processing Letters, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984