A New Scheme for Memory-Efficient Probabilistic Verification (1996)

Cached

Download Links

by Ulrich Stern , David L. Dill
Venue:in IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification
Citations:21 - 6 self

Documents Related by Co-Citation

63 Reliable Hashing without Collision Detection – Pierre Wolper, Denis Leroy - 1993
36 Improved Probabilistic Verification by Hash Compaction – Ulrich Stern, David L. Dill - 1995
185 Better Verification Through Symmetry – C. Norris Ip , David L. Dill - 1996
1470 Space/Time Trade-offs in Hash Coding with Allowable Errors – Burton H. Bloom - 1970
769 Design and Validation of Computer Protocols – G Holzmann - 1991
469 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
673 Universal classes of hash functions – J Lawrence Carter, Mark N Wegman - 1979
445 The SPIN Model Checker, Primer and Reference Manual – G J Holzmann