|
8
|
Algorithmic Techniques in Verification by Explicit State Enumeration
– Ulrich Stern
- 1997
|
|
4
|
Reliable Probabilistic Verification Using Hash Compaction
– Pierre Wolper, Ulrich Stern, Denis Leroy, David L. Dill
|
|
10
|
On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems
– Patrice Godefroid, Patrice Godefroid
- 1997
|
|
64
|
Symbolic Verification with Periodic Sets
– Bernard Boigelot, Pierre Wolper
- 1994
|
|
5
|
Divide, abstract, and model-check
– Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
- 1999
|
|
51
|
Memory-efficient algorithms for the verification of temporal properties
– C. Courcoubetis, M. Vardi, P. Wolper, M. Yannakakis
- 1992
|
|
32
|
On the Verification of Temporal Properties
– Patrice Godefroid, Patrice Godefroid, Gerard J. Holzmann, Gerard J. Holzmann
- 1993
|
|
12
|
Memory Efficient State Storage in SPIN
– Willem Visser
- 1996
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
74
|
An Analysis of Bitstate Hashing
– Gerard J. Holzmann
- 1995
|
|
52
|
The state of spin
– Gerard J. Holzmann, Doron Peled
- 1996
|
|
7
|
Path Finding with the Sweep-Line Method using External Storage
– Lars Michael Kristensen, Thomas Mailund
- 2003
|
|
3
|
A Run-time Environment for a Validation Language
– Willem Conradie Visser
- 1993
|
|
45
|
Combining Model Checking and Deduction for I/O-Automata
– Olaf Müller, Tobias Nipkow
|
|
|
A Survey of Verification Techniques for Cache Coherence Protocols
– Fong Pong, Michel Dubois
- 1996
|
|
13
|
Verification Experiments on the MASCARA Protocol
– Guoping Jia, Susanne Graf
- 2001
|
|
54
|
Coverage Preserving Reduction Strategies for Reachability Analysis
– Gerard J. Holzmann , Patrice Godefroid, Didier Pirottin
|
|
5
|
Designing Bug-Free Protocols With SPIN
– Gerard J. Holzmann
- 1997
|
|
1130
|
The model checker SPIN
– Gerard J. Holzmann
- 1997
|
