|
5
|
Designing Bug-Free Protocols With SPIN
– Gerard J. Holzmann
- 1997
|
|
|
Verification of the WAP Transaction Layer Using the Model Checker SPIN
– Yu-Tong He
|
|
9
|
Proving Properties of Concurrent Systems with SPIN
– Gerard J. Holzmann
- 1995
|
|
13
|
Software Model Checking
– Gerard J. Holzmann
- 1999
|
|
8
|
Algorithmic Techniques in Verification by Explicit State Enumeration
– Ulrich Stern
- 1997
|
|
10
|
On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems
– Patrice Godefroid, Patrice Godefroid
- 1997
|
|
|
Lecture Notes "Systemvalidation " (course 214012)
– unknown authors
|
|
67
|
Model Checking Complete Requirements Specifications Using Abstraction
– Ramesh Bharadwaj, Constance L. Heitmeyer
- 1999
|
|
|
A Survey of Graph-based Algorithms in Software Model Checking
– Arie Gurfinkel
- 2000
|
|
4
|
Reliable Probabilistic Verification Using Hash Compaction
– Pierre Wolper, Ulrich Stern, Denis Leroy, David L. Dill
|
|
3
|
Specifying, discovering, and monitoring service flows: Making web services process-aware
– W. M. P. van der Aalst, M. Pesic
- 2006
|
|
64
|
Symbolic Verification with Periodic Sets
– Bernard Boigelot, Pierre Wolper
- 1994
|
|
|
An Improvement in Formal Verification
– Gerard J.Holzmann, Gerard J. Holzmann, Doron Peled, Doron Peled
- 1994
|
|
47
|
A Partial Order Approach to Branching Time Logic Model Checking
– Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek
- 1994
|
|
3
|
Larger automata and less work for LTL model checking
– Jaco Geldenhuys, Henri Hansen
- 2006
|
|
4
|
Case studies of model checking for embedded system designs
– Xi Chen, Harry Hsieh
- 2003
|
|
7
|
Practical CTL Model Checking - Should SPIN be Extended?
– Willem Visser, Howard Barringer
- 2000
|
|
|
State Compression in SPIN:
– Recursive Indexing And, Gerard J. Holzmann
- 1997
|
|
36
|
State Compression in SPIN: Recursive Indexing And Compression Training Runs
– Gerard J. Holzmann
- 1997
|
