Abstract
Since the introduction of the first version of the model checker SPIN in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of SPIN. This paper presents several techniques to optimise both the modelling and verification activities when using SPIN.
Original language | English |
---|---|
Title of host publication | SPIN Model Checking and Software Verification |
Subtitle of host publication | 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings |
Editors | Klaus Havelund, John Penix, Willem Visser |
Publisher | Springer |
Pages | 287-321 |
Number of pages | 35 |
ISBN (Electronic) | 978-3-540-45297-3 |
ISBN (Print) | 978-3-540-41030-0 |
DOIs | |
Publication status | Published - 2000 |
Event | 7th International SPIN Workshop on Model Checking and Software Verification 2000 - Stanford, United States Duration: 30 Aug 2000 → 1 Sep 2000 Conference number: 7 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 1885 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 7th International SPIN Workshop on Model Checking and Software Verification 2000 |
---|---|
Country/Territory | United States |
City | Stanford |
Period | 30/08/00 → 1/09/00 |