Reliable Hashing without Collision Detection (1993)

Cached

Download Links

by Pierre Wolper , Denis Leroy
Venue:IN COMPUTER AIDED VERIFICATION. 5TH INTERNATIONAL CONFERENCE
Citations:63 - 1 self

Documents Related by Co-Citation

762 Design and Validation of Computer Protocols – G Holzmann - 1991
26 New Techniques for Efficient Verification with Implicitly Conjoined BDDs – Alan J. Hu , Gary York, David L. Dill - 1994
35 Improved Probabilistic Verification by Hash Compaction – Ulrich Stern, David L. Dill - 1995
21 A New Scheme for Memory-Efficient Probabilistic Verification – Ulrich Stern, David L. Dill - 1996
82 An Analysis of Bitstate Hashing – Gerard J. Holzmann - 1995
1254 The model checker SPIN – Gerard J. Holzmann - 1997
669 Universal classes of hash functions – L Carter, M Wegman - 1979
177 Sequential circuit verification using symbolic model checking – J R Burch, E M Clarke - 1990
34 On Limits and Possibilities of Automated Protocol Analysis – Gerard J. Holzmann - 1987
185 Better Verification Through Symmetry – C. Norris Ip , David L. Dill - 1996
1297 Symbolic Model Checking – K L McMillan - 1993
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
138 The MurĪ† Verification System – David L. Dill - 1996
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
234 Protocol Verification as a Hardware Design Aid – David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang - 1992
38 State Space Caching Revisited – P Godefroid, G 1 Holzmann, D Pirottin
1456 Space/Time Trade-offs in Hash Coding with Allowable Errors – Burton H. Bloom - 1970
42 Automatic Verification of the SCI Cache Coherence Protocol – Ulrich Stern, David L. Dill - 1995
163 Handbook of algorithms and data structures – G H GONNET, R BAEZA-YATES - 1991