|
733
|
The Design and Validation of Computer Protocols
– Gerard Holzmann
- 1991
|
|
26
|
New Techniques for Efficient Verification with Implicitly Conjoined BDDs
– Alan J. Hu , Gary York, David L. Dill
- 1994
|
|
28
|
Improved Probabilistic Verification by Hash Compaction
– Ulrich Stern, David L. Dill
- 1995
|
|
21
|
A New Scheme for Memory-Efficient Probabilistic Verification
– Ulrich Stern, David L. Dill
- 1996
|
|
74
|
An Analysis of Bitstate Hashing
– Gerard J. Holzmann
- 1995
|
|
590
|
Universal classes of hash functions
– J L Carter, M N Wegman
- 1979
|
|
169
|
Sequential Circuit Verification Using Symbolic Model Checking
– J R Burch, E M Clarke, K L McMillan, D L Dill
- 1990
|
|
32
|
On Limits and Possibilities of Automated Protocol Analysis
– Gerard J. Holzmann
- 1987
|
|
173
|
Better Verification Through Symmetry
– C. Norris Ip , David L. Dill
- 1996
|
|
1130
|
The model checker SPIN
– Gerard J. Holzmann
- 1997
|
|
129
|
The MurĪ Verification System
– David L. Dill
- 1996
|
|
217
|
Protocol Verification as a Hardware Design Aid
– David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang
- 1992
|
|
38
|
State Space Caching Revisited
– P Godefroid, G 1 Holzmann, D Pirottin
|
|
7324
|
Cache-oblivious algorithms
– M FRIGO, C E LEISERSON, H PROKOP, S RAMACHANDRAN
- 1999
|
|
41
|
Automatic Verification of the SCI Cache Coherence Protocol
– Ulrich Stern, David L. Dill
- 1995
|
|
49
|
An Improved Protocol Reachability Analysis Technique
– Gerard J. Holzmann
- 1988
|
|
156
|
Handbook of Algorithms and Data Structures
– G H AND BAEZA-YATES GONNET, R
- 1991
|
|
356
|
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
|
|
243
|
A stubborn attack on state explosion
– A Valmari
- 1992
|
