Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 389-402
- https://doi.org/10.1007/10722167_30
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Efficient fixpoint computation for invariant checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Implicit manipulation of equivalence classes using binary decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A unified framework for the formal verification of sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- High-density reachability analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hybrid verification using saturated simulationPublished by Association for Computing Machinery (ACM) ,1998
- Approximation and decomposition of binary decision diagramsPublished by Association for Computing Machinery (ACM) ,1998
- Validation with guided search of the state spacePublished by Association for Computing Machinery (ACM) ,1998
- On combining formal and informal verificationPublished by Springer Nature ,1997
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986