State Reduction Using Reversible Rules (1996)

Cached

Download Links

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

Active Bibliography

A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
34 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
2028 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
20 Symbolic Protocol Verification with Queue BDDs – Patrice Godefroid, David E. Long - 1997
8 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
9 Bloom Filters in Probabilistic Verification – Peter C. Dillinger, Panagiotis Manolios - 2004
4 Symmetry and induction in model checking – Edmund M. Clarke, Stephen Brookes - 1995
33 A New Approach for the Verification of Cache Coherence Protocols – Fong Pong, Michel Dubois - 1993
15 Adding Symmetry Reduction to UPPAAL – Martijn Hendriks, Gerd Behrmann, Kim Larsen, Peter Niebert, Frits Vaandrager - 2004
Noname manuscript No. (will be inserted by the editor) Efficient Approximate Verification of B and Z Models via Symmetry Markers – Michael Leuschel, Thierry Massart
Property-Sensitive State Space Reduction – Ch. Sprenger, K. Worytkiewicz
112 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
13 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
10 On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems – Patrice Godefroid, Patrice Godefroid - 1997
41 Automatic Verification of the SCI Cache Coherence Protocol – Ulrich Stern, David L. Dill - 1995
3 A Run-time Environment for a Validation Language – Willem Conradie Visser - 1993
40 Verifying Systems with Replicated Components in Murφ – C. Norris Ip, David L. Dill - 1997
25 Partial Model Checking (Extended Abstract) – Henrik Reif Andersen - 1995
488 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992