Reliable Hashing without Collision Detection (1993)

Cached

Download Links

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

Active Bibliography

3023 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
7 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
1448 The model checker SPIN – Gerard J. Holzmann - 1997
806 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
1258 Temporal and modal logic – E. Allen Emerson - 1995
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 – P Godefroid - 1997
428 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
2490 A theory of timed automata – Rajeev Alur - 1999