The Mur ϕ verification system
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 390-393
- https://doi.org/10.1007/3-540-61474-5_86
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A New Scheme for Memory-Efficient Probabilistic VerificationPublished by Springer Nature ,1996
- Automatic verification of the SCI cache coherence protocolPublished by Springer Nature ,1995
- Improved probabilistic verification by hash compactionPublished by Springer Nature ,1995
- Reliable hashing without collision detectionPublished by Springer Nature ,1993
- Parallel Program DesignPublished by Springer Nature ,1989