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:14 - 3 self

Active Bibliography

7 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
36 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
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
58 Parallelizing the MurĪ† verifier – Ulrich Stern, David L. Dill - 1997
376 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992