Activities per year
Abstract
Spin [9] is a model checker for the verification of distributed systems software. The tool is freely distributed, and often described as one of the most widely used verification systems. The Advanced Spin Tutorial is a sequel to [7] and is targeted towards intermediate to advanced Spin users.
Original language | English |
---|---|
Title of host publication | Model checking software |
Subtitle of host publication | 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings |
Editors | Susanne Graf, Laurent Mounier |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 304-305 |
Number of pages | 2 |
ISBN (Electronic) | 978-3-540-24732-6 |
ISBN (Print) | 978-3-540-21314-7 |
DOIs | |
Publication status | Published - 2004 |
Event | 11th International SPIN Workshop on Model Checking Software 2004 - Barcelona, Spain Duration: 1 Apr 2004 → 3 Apr 2004 Conference number: 11 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 2989 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Workshop
Workshop | 11th International SPIN Workshop on Model Checking Software 2004 |
---|---|
Country/Territory | Spain |
City | Barcelona |
Period | 1/04/04 → 3/04/04 |
Keywords
- FMT-MC: MODEL CHECKING
Fingerprint
Dive into the research topics of 'Advanced SPIN tutorial'. Together they form a unique fingerprint.Activities
- 1 Oral presentation
-
Advanced SPIN Tutorial
Ruys, T. C. (Speaker)
2 Apr 2004Activity: Talk or presentation › Oral presentation