Active Bibliography

5 Designing Bug-Free Protocols With SPIN – Gerard J. Holzmann - 1997
11 Software Model Checking with SPIN – Gerard J. Holzmann - 2005
9 Proving Properties of Concurrent Systems with SPIN – Gerard J. Holzmann - 1995
Verification of the WAP Transaction Layer Using the Model Checker SPIN – Yu-Tong He
16 Software Model Checking – Gerard J. Holzmann - 1999
8 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
13 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
70 Model Checking Complete Requirements Specifications Using Abstraction – Ramesh Bharadwaj, Constance L. Heitmeyer - 1999
7 Fighting state space explosion: Review and evaluation – Radek Pelánek - 2008
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
73 Symbolic Verification with Periodic Sets – Bernard Boigelot, Pierre Wolper - 1994
3 Specifying, discovering, and monitoring service flows: Making web services process-aware – W. M. P. van der Aalst, M. Pesic - 2006
55 A Partial Order Approach to Branching Time Logic Model Checking – Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek - 1994
An Improvement in Formal Verification – Gerard J.Holzmann, Gerard J. Holzmann, Doron Peled, Doron Peled - 1994
5 Larger automata and less work for LTL model checking – Jaco Geldenhuys, Henri Hansen - 2006
5 Case studies of model checking for embedded system designs – Xi Chen, Harry Hsieh - 2003
9 Practical CTL Model Checking - Should SPIN be Extended? – Willem Visser, Howard Barringer - 2000