Combining State Space Caching and Hash Compaction (1996)

Cached

Download Links

by Ulrich Stern , David L. Dill
Venue:In Methoden des Entwurfs und der Verifikation digitaler Systeme, 4. GI/ITG/GME Workshop
Citations:13 - 3 self

Active Bibliography

4 Reliable Probabilistic Verification Using Hash Compaction – Pierre Wolper, Ulrich Stern, Denis Leroy, David L. Dill
8 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
21 A New Scheme for Memory-Efficient Probabilistic Verification – Ulrich Stern, David L. Dill - 1996
35 Improved Probabilistic Verification by Hash Compaction – Ulrich Stern, David L. Dill - 1995
55 Parallelizing the Murφ verifier – Ulrich Stern, David L. Dill - 1997
34 Using Magnetic Disk instead of Main Memory in the Mur phi Verifier – Ulrich Stern, David L. Dill - 1998
82 An Analysis of Bitstate Hashing – Gerard J. Holzmann - 1995
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
13 On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems – Patrice Godefroid, Patrice Godefroid - 1997
6 Reducing memory usage in symbolic state-space exploration for timed systems – Johan Bengtsson - 2001
138 The Murφ Verification System – David L. Dill - 1996
38 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
10 Bloom Filters in Probabilistic Verification – Peter C. Dillinger, Panagiotis Manolios - 2004
12 Memory Efficient State Storage in SPIN – Willem Visser - 1996
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
3 A Run-time Environment for a Validation Language – Willem Conradie Visser - 1993
Software Model Checking: The VeriSoft Approach – Patrice Godefroid Bell - 2003
69 The practitioner's guide to coloured Petri nets – Lars M. Kristensen, Søren Christensen, Kurt Jensen - 1998
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997