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

Active Bibliography

8 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
4 Reliable Probabilistic Verification Using Hash Compaction – Pierre Wolper, Ulrich Stern, Denis Leroy, David L. Dill
13 On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems – Patrice Godefroid, Patrice Godefroid - 1997
73 Symbolic Verification with Periodic Sets – Bernard Boigelot, Pierre Wolper - 1994
23 Verification of Communication Protocols Using Data Flow Analysis – Gleb Naumovich , Lori A. Clarke, Leon J. Osterweil - 1996
7 Divide, abstract, and model-check – Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen - 1999
74 Memory-efficient algorithms for the verification of temporal properties – C. Courcoubetis, M. Vardi, P. Wolper, M. Yannakakis - 1992
32 On the Verification of Temporal Properties – Patrice Godefroid, Patrice Godefroid, Gerard J. Holzmann, Gerard J. Holzmann - 1993
12 Memory Efficient State Storage in SPIN – Willem Visser - 1996
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
82 An Analysis of Bitstate Hashing – Gerard J. Holzmann - 1995
55 The state of spin – Gerard J. Holzmann, Doron Peled - 1996
8 Path Finding with the Sweep-Line Method using External Storage – Lars Michael Kristensen, Thomas Mailund - 2003
3 A Run-time Environment for a Validation Language – Willem Conradie Visser - 1993
45 Combining Model Checking and Deduction for I/O-Automata – Olaf Müller, Tobias Nipkow
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
13 Verification Experiments on the MASCARA Protocol – Guoping Jia, Susanne Graf - 2001
5 Designing Bug-Free Protocols With SPIN – Gerard J. Holzmann - 1997
1254 The model checker SPIN – Gerard J. Holzmann - 1997