Exploiting Transition Locality in the Disk Based Murϕ Verifier
- 5 November 2002
- book chapter
- Published by Springer Nature
- p. 202-219
- https://doi.org/10.1007/3-540-36126-x_13
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Protocol verification as a hardware design aidPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Efficient verification of symmetric concurrent systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Binary decision diagrams on network of workstationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using magnetic disk instead of main memory in the Mur ϕ verifierPublished by Springer Nature ,1998
- An Analysis of Bitstate HashingFormal Methods in System Design, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Parallelizing the Murϕ verifierPublished by Springer Nature ,1997
- Improved probabilistic verification by hash compactionPublished by Springer Nature ,1995
- New techniques for efficient verification with implicitly conjoined BDDsPublished by Association for Computing Machinery (ACM) ,1994
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986