Comparing Symbolic and Explicit Model Checking of a Software System
- 23 May 2002
- book chapter
- Published by Springer Nature
- p. 230-239
- https://doi.org/10.1007/3-540-46017-9_18
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Model Checking the Garbage Collection Mechanism of SMVElectronic Notes in Theoretical Computer Science, 2001
- Efficient Detection of Vacuity in Temporal Model CheckingFormal Methods in System Design, 2001
- Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance NetlistsPublished by Springer Nature ,1999
- Approximation and decomposition of binary decision diagramsPublished by Association for Computing Machinery (ACM) ,1998
- On-the-fly model checking of RCTL formulasPublished by Springer Nature ,1998
- RuleBasePublished by Association for Computing Machinery (ACM) ,1996
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Efficient model checking by automated ordering of transition relation partitionsPublished by Springer Nature ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986