Comparing Symbolic and Explicit Model Checking of a Software System
- 23 May 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- 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 NetlistsLecture Notes in Computer Science, 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 Science and Business Media LLC ,1998
- RuleBasePublished by Association for Computing Machinery (ACM) ,1996
- Temporal Verification of Reactive SystemsPublished by Springer Science and Business Media LLC ,1995
- Efficient model checking by automated ordering of transition relation partitionsLecture Notes in Computer Science, 1994
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986