Using Magnetic Disk instead of Main Memory in the Mur phi Verifier (1998)

by Ulrich Stern , David L. Dill
Citations:31 - 2 self

Active Bibliography

8 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
49 Parallelizing the Murφ verifier – Ulrich Stern, David L. Dill - 1997
4 Reliable Probabilistic Verification Using Hash Compaction – Pierre Wolper, Ulrich Stern, Denis Leroy, David L. Dill
21 A New Scheme for Memory-Efficient Probabilistic Verification – Ulrich Stern, David L. Dill - 1996
129 The Murφ Verification System – David L. Dill - 1996
12 Combining State Space Caching and Hash Compaction – Ulrich Stern, David L. Dill - 1996
74 An Analysis of Bitstate Hashing – Gerard J. Holzmann - 1995
1 Automatic Checking of Aggregation Abstractions Through State Enumeration – Seungjoon Park, Satyaki Das, David L. Dill
28 Improved Probabilistic Verification by Hash Compaction – Ulrich Stern, David L. Dill - 1995
1 On the Efficient Sequential and Distributed Evaluation of Very Large Stochastic Petri Nets – Boudewijn Haverkort, Henrik Bohnenkamp, Alexander Bell, Er Bell, Rheinisch-westfalische Technische, Hochschule Aachen - 1999
1 Enhanced Probabilistic Verification with 3Spin and 3Murphi – Peter C. Dillinger, Panagiotis Manolios
9 Bloom Filters in Probabilistic Verification – Peter C. Dillinger, Panagiotis Manolios - 2004
38 Java Model Checking – David Y.W. Park, Ulrich Stern, David Y. W, Park Ulrich, Stern Jens, Jens U. Skakkebk, David L. Dill - 2000
2 Formal Verification of the HAL S1 System Cache Coherence Protocol – Alan J. Hu, Masahiro Fujita, Chris Wilson - 1997
13 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
245 Automated Analysis of Cryptographic Protocols Using Murphi – John C. Mitchell, Mark Mitchell, Ulrich Stern - 1997
A Survey of Graph-based Algorithms in Software Model Checking – Arie Gurfinkel - 2000
1 A NOTE ON THE WORST-CASE MEMORY REQUIREMENTS OF GENERALIZED NESTED DEPTH-FIRST SEARCH – Heikki Tauriainen, Ab Teknillinen Korkeakoulu, Heikki Tauriainen
16 Fast and Accurate Bitstate Verification for SPIN – Peter C. Dillinger, Panagiotis Manolios - 2004