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

Documents Related by Co-Citation

82 An Analysis of Bitstate Hashing – Gerard J. Holzmann - 1995
63 Reliable Hashing without Collision Detection – Pierre Wolper, Denis Leroy - 1993
762 Design and Validation of Computer Protocols – G Holzmann - 1991
414 Depth-first Iterative-Deepening: An Optimal Admissible Tree Search – Richard E. Korf - 1985
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
234 Protocol Verification as a Hardware Design Aid – David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang - 1992
25 State-Space Caching Revisited – Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin - 1992
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
70 Enhanced Iterative-Deepening Search – Alexander Reinefeld, T. A. Marsland - 1993
26 New Techniques for Efficient Verification with Implicitly Conjoined BDDs – Alan J. Hu , Gary York, David L. Dill - 1994
12 State Reduction Using Reversible Rules – C. Norris Ip, C. Norris, Ip David, David L. Dill - 1996
15 Ordered hash tables – O Amble, D E Knuth - 1974
42 Automatic Verification of the SCI Cache Coherence Protocol – Ulrich Stern, David L. Dill - 1995
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
669 Universal classes of hash functions – L Carter, M Wegman - 1979
375 The Stanford DASH multiprocessor – Daniel Lenoski, James Laudon, Kourosh Gharachorloo, Wolf-dietrich Weber, Anoop Gupta, John Hennessy, Mark Horowitz, Monica S. Lam, Dash The Ease-of-use - 1992
177 Sequential circuit verification using symbolic model checking – J R Burch, E M Clarke - 1990
159 Using partial orders for the efficient verification of deadlock freedom and safety properties – P Godefroid, P Wolper - 1993