A New Scheme for Memory-Efficient Probabilistic Verification (1996)

Cached

Download Links

by Ulrich Stern , David L. Dill
Venue:in IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification
Citations:21 - 6 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
35 Improved Probabilistic Verification by Hash Compaction – Ulrich Stern, David L. Dill - 1995
138 The Murφ Verification System – David L. Dill - 1996
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
13 Combining State Space Caching and Hash Compaction – Ulrich Stern, David L. Dill - 1996
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
42 Verifying Systems with Replicated Components in Murφ – C. Norris Ip, David L. Dill - 1997
263 Automated Analysis of Cryptographic Protocols Using Murphi – John C. Mitchell, Mark Mitchell, Ulrich Stern - 1997
7 Computer Assisted Analysis Of Multiprocessor Memory Systems – Seungjoon Park, David L. Dill, Gene F. Franklin - 1996
2 Formal Verification of the HAL S1 System Cache Coherence Protocol – Alan J. Hu, Masahiro Fujita, Chris Wilson - 1997
10 Bloom Filters in Probabilistic Verification – Peter C. Dillinger, Panagiotis Manolios - 2004
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
6 Finding optimal solutions to Atomix – Falk Hüffner - 2001
5 Randomization Helps in LTL Model Checking – Lubos Brim, Ivana Cerna, Martin Necesal - 2001
8 Path Finding with the Sweep-Line Method using External Storage – Lars Michael Kristensen, Thomas Mailund - 2003
6 Theory and Practice of Time-Space Trade-Offs in Memory Limited Search – Stefan Edelkamp, Ulrich Meyer - 2001
2 The ComBack Method – Extending Hash Compaction with Backtracking – Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge - 2007