Bloom Filters in Probabilistic Verification
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Fast and Accurate Bitstate Verification for SPINPublished by Springer Nature ,2004
- Exploiting Transition Locality in the Disk Based Murϕ VerifierPublished by Springer Nature ,2002
- Summary cache: a scalable wide-area Web cache sharing protocolIEEE/ACM Transactions on Networking, 2000
- Model Checking TLA+ SpecificationsPublished by Springer Nature ,1999
- Symmetry and model checkingFormal Methods in System Design, 1996
- A New Scheme for Memory-Efficient Probabilistic VerificationPublished by Springer Nature ,1996
- Improved probabilistic verification by hash compactionPublished by Springer Nature ,1995
- Reliable hashing without collision detectionPublished by Springer Nature ,1993
- Exploiting symmetry in temporal logic model checkingPublished by Springer Nature ,1993
- Space/time trade-offs in hash coding with allowable errorsCommunications of the ACM, 1970