New Techniques for Efficient Verification with Implicitly Conjoined BDDs (1994)

Cached

Download Links

by Alan J. Hu , Gary York , David L. Dill
Citations:26 - 9 self

Documents Related by Co-Citation

177 Sequential circuit verification using symbolic model checking – J R Burch, E M Clarke - 1990
234 Protocol Verification as a Hardware Design Aid – David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang - 1992
63 Reliable Hashing without Collision Detection – Pierre Wolper, Denis Leroy - 1993
669 Universal classes of hash functions – L Carter, M Wegman - 1979
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
42 Automatic Verification of the SCI Cache Coherence Protocol – Ulrich Stern, David L. Dill - 1995
35 Improved Probabilistic Verification by Hash Compaction – Ulrich Stern, David L. Dill - 1995
34 On Limits and Possibilities of Automated Protocol Analysis – Gerard J. Holzmann - 1987
762 Design and Validation of Computer Protocols – G Holzmann - 1991
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
21 Efficient Verification of Symmetric Concurrent Systems – C. Norris Ip , David L. Dill - 1993
1297 Symbolic Model Checking – K L McMillan - 1993
138 The MurĪ† Verification System – David L. Dill - 1996
185 Better Verification Through Symmetry – C. Norris Ip , David L. Dill - 1996
414 Dynamic Variable Ordering for Ordered Binary Decision Diagrams – R Rudell - 1993
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
21 A New Scheme for Memory-Efficient Probabilistic Verification – Ulrich Stern, David L. Dill - 1996
12 State Reduction Using Reversible Rules – C. Norris Ip, C. Norris, Ip David, David L. Dill - 1996