Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDIMACS Workshop: The Spin Verification System 1996
- Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled:
The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32, DIMACS/AMS 1997, ISBN 978-0-8218-0680-7 - Fred S. Roberts, Bernard Chazelle, Stephen R. Mahaney:
Foreword. The Spin Verification System 1996: vii- - Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled:
Preface. The Spin Verification System 1996: ix- - Jean-Charles Grégoire:
State space compression with graph encoded sets. 1-15 - Gerard J. Holzmann, Orna Kupferman:
Not checking for closure under stuttering. 17-22 - Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis:
On nested depth first search. 23-31 - Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou:
Modelling and analysis of a collision avoidance protocol using Spin and Uppaal. 33-49 - Pim Kars:
The application of Promela and Spin in the BOS project. 51-63 - Stefan Leue, Peter B. Ladkin:
Implementing and verifying MSC specifications using Promela/XSpin. 65-89 - Siedfried Löffler, Ahmed Serhrouchni:
Creating implementations from Promela models. 91-99 - Pedro Merino, José María Troya Linero:
Modelling and verification of the MCS layer with Spin. 101-110 - Elie Najm, Frank Olsen:
Protocol verification with reactive Promela/Rspin. 111-131 - V. Natarajan, Gerard J. Holzmann:
Outline for an operational semantics of Promela. 133-152 - Sandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi:
A simulation and validation tool for self-stabilizing protocols. 153-164 - 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. 165-183 - Willem Visser, Howard Barringer:
Memory efficient state storage in Spin. 185-203
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
