C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The Spin Verification System
1996
1997
1996
1997
Keyphrases
Publications
volume 32, 1997
The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996
The Spin Verification System
32 (1997)
1996
Siedfried Löffler
,
Ahmed Serhrouchni
Creating implementations from Promela models.
The Spin Verification System
(1996)
Gerard J. Holzmann
,
Orna Kupferman
Not checking for closure under stuttering.
The Spin Verification System
(1996)
Sandeep K. Shukla
,
Daniel J. Rosenkrantz
,
S. S. Ravi
A simulation and validation tool for self-stabilizing protocols.
The Spin Verification System
(1996)
Jean-Charles Grégoire
,
Gerard J. Holzmann
,
Doron A. Peled
Preface.
The Spin Verification System
(1996)
Fred S. Roberts
,
Bernard Chazelle
,
Stephen R. Mahaney
Foreword.
The Spin Verification System
(1996)
Elie Najm
,
Frank Olsen
Protocol verification with reactive Promela/Rspin.
The Spin Verification System
(1996)
Stefan Leue
,
Peter B. Ladkin
Implementing and verifying MSC specifications using Promela/XSpin.
The Spin Verification System
(1996)
Javier Tuya
,
José Ramón de Diego
,
Claudio de la Riva
,
José A. Corrales
Dynamic analysis of SA/RT models using Spin and modular verification.
The Spin Verification System
(1996)
V. Natarajan
,
Gerard J. Holzmann
Outline for an operational semantics of Promela.
The Spin Verification System
(1996)
Pedro Merino
,
José María Troya Linero
Modelling and verification of the MCS layer with Spin.
The Spin Verification System
(1996)
Willem Visser
,
Howard Barringer
Memory efficient state storage in Spin.
The Spin Verification System
(1996)
Henrik Ejersbo Jensen
,
Kim G. Larsen
,
Arne Skou
Modelling and analysis of a collision avoidance protocol using Spin and Uppaal.
The Spin Verification System
(1996)
Gerard J. Holzmann
,
Doron A. Peled
,
Mihalis Yannakakis
On nested depth first search.
The Spin Verification System
(1996)
Pim Kars
The application of Promela and Spin in the BOS project.
The Spin Verification System
(1996)
Jean-Charles Grégoire
State space compression with graph encoded sets.
The Spin Verification System
(1996)