Abstract is missing.
- PrefaceJean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled.
- ForewordFred S. Roberts, Bernard Chazelle, Stephen R. Mahaney.
- State space compression with graph encoded setsJean-Charles Grégoire. 1-16
- Not checking for closure under stutteringGerard J. Holzmann, Orna Kupferman. 17-22
- On nested depth first searchGerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis. 23-32
- Modelling and analysis of a collision avoidance protocol using Spin and UppaalHenrik Ejersbo Jensen, Kim G. Larsen, Arne Skou. 33-50
- The application of Promela and Spin in the BOS projectPim Kars. 51-64
- Implementing and verifying MSC specifications using Promela/XSpinStefan Leue, Peter B. Ladkin. 65-90
- Creating implementations from Promela modelsSiedfried Löffler, Ahmed Serhrouchni. 91-100
- Modelling and verification of the MCS layer with SpinPedro Merino 0001, José María Troya Linero. 101-110
- Protocol verification with reactive Promela/RspinElie Najm, Frank Olsen. 111-132
- Outline for an operational semantics of PromelaV. Natarajan, Gerard J. Holzmann. 133-152
- A simulation and validation tool for self-stabilizing protocolsSandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi. 153-164
- Dynamic analysis of SA/RT models using Spin and modular verificationJavier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales. 165-184
- Memory efficient state storage in SpinWillem Visser, Howard Barringer. 185