State Reduction Using Reversible Rules (1996)

Cached

Download Links

by C. Norris Ip , C. Norris , Ip David , David L. Dill
Citations:12 - 7 self

Documents Related by Co-Citation

234 Protocol Verification as a Hardware Design Aid – David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang - 1992
185 Better Verification Through Symmetry – C. Norris Ip , David L. Dill - 1996
42 Automatic Verification of the SCI Cache Coherence Protocol – Ulrich Stern, David L. Dill - 1995
21 Efficient Verification of Symmetric Concurrent Systems – C. Norris Ip , David L. Dill - 1993
26 New Techniques for Efficient Verification with Implicitly Conjoined BDDs – Alan J. Hu , Gary York, David L. Dill - 1994
42 Formal specification of abstract memory models – D Dill, S Park, A Nowatzyk - 1993
63 Reliable Hashing without Collision Detection – Pierre Wolper, Denis Leroy - 1993
34 On Limits and Possibilities of Automated Protocol Analysis – Gerard J. Holzmann - 1987
42 Verifying Systems with Replicated Components in Murφ – C. Norris Ip, David L. Dill - 1997
177 Sequential circuit verification using symbolic model checking – J R Burch, E M Clarke - 1990
149 Myths about the Mutual Exclusion Problem – G L Peterson - 1981
762 Design and Validation of Computer Protocols – G Holzmann - 1991
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
138 The MurĪ† Verification System – David L. Dill - 1996
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
15 Ordered hash tables – O Amble, D E Knuth - 1974
13 Combining State Space Caching and Hash Compaction – Ulrich Stern, David L. Dill - 1996
82 An Analysis of Bitstate Hashing – Gerard J. Holzmann - 1995