Automatic Verification of the SCI Cache Coherence Protocol (1995)

Cached

Download Links

by Ulrich Stern , David L. Dill
Venue:In Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference Proceedings
Citations:41 - 16 self

Active Bibliography

8 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
38 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
4 Reliable Probabilistic Verification Using Hash Compaction – Pierre Wolper, Ulrich Stern, Denis Leroy, David L. Dill
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
35 Improved Probabilistic Verification by Hash Compaction – Ulrich Stern, David L. Dill - 1995
29 Local-Area MultiProcessor: the Scalable Coherent Interface – David B. Gustavson, Qiang Li - 1994
138 The MurĪ† Verification System – David L. Dill - 1996
42 Verifying Systems with Replicated Components in Murφ – C. Norris Ip, David L. Dill - 1997
2 Formal Verification of the HAL S1 System Cache Coherence Protocol – Alan J. Hu, Masahiro Fujita, Chris Wilson - 1997
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
12 State Reduction Using Reversible Rules – C. Norris Ip, C. Norris, Ip David, David L. Dill - 1996
Using State Symmetries to Speed up Symmetry Reduction in Model Checking – unknown authors
263 Automated Analysis of Cryptographic Protocols Using Murphi – John C. Mitchell, Mark Mitchell, Ulrich Stern - 1997
21 A New Scheme for Memory-Efficient Probabilistic Verification – Ulrich Stern, David L. Dill - 1996
5 A Correctness Proof of a Cache Coherence Protocol – Amy Felty, Frank Stomp - 1996
32 Efficient Finite-State Analysis for Large Security Protocols – Vitaly Shmatikov , Ulrich Stern - 1998
Report on Analysis and Verification Techniques – Peter Herrmann, Heiko Krumm - 1992
32 Symbolic Bisimulation Minimisation – Amar Bouali, Robert de Simone
An online presentation of the work in the paper titled "State Reduction Using Reversible Rules", published in DAC'96. – Norris Ip, C. Norris, Ip David, L. Dill - 1996