Using magnetic disk instead of main memory in the Mur ϕ verifier
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 172-183
- https://doi.org/10.1007/bfb0028743
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- The Stanford FLASH multiprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A New Scheme for Memory-Efficient Probabilistic VerificationPublished by Springer Nature ,1996
- The state of SpinPublished by Springer Nature ,1996
- Formal verification of a partial-order reduction technique for model checkingPublished by Springer Nature ,1996
- Improved probabilistic verification by hash compactionPublished by Springer Nature ,1995
- Combining partial order reductions with on-the-fly model-checkingPublished by Springer Nature ,1994
- Reliable hashing without collision detectionPublished by Springer Nature ,1993
- The Stanford Dash multiprocessorComputer, 1992
- Sequential circuit verification using symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1990
- Universal classes of hash functionsJournal of Computer and System Sciences, 1979