Abstract
The number of installations of the SPIN model checking tool is steadily increasing. There are well over two thousand installations today, divided roughly evenly over academic and industrial sites. The tool itself also continues to evolve; it has more than doubled in size, and hopefully at least equally so in functionality, since it was first distributed in early 1991. The tool runs on most standard workstations, and starting with version 2.8 also on standard PCs. In this overview, we summarize the design principles of the tool, and review its current state.
| Original language | English |
|---|---|
| Title of host publication | Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings |
| Editors | Thomas A. Henzinger, Rajeev Alur |
| Publisher | Springer Verlag |
| Pages | 385-389 |
| Number of pages | 5 |
| ISBN (Print) | 3540614745, 9783540614746 |
| DOIs | |
| State | Published - 1996 |
| Externally published | Yes |
| Event | 8th International Conference on Computer Aided Verification, CAV 1996 - New Brunswick, United States Duration: 31 Jul 1996 → 3 Aug 1996 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1102 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 8th International Conference on Computer Aided Verification, CAV 1996 |
|---|---|
| Country/Territory | United States |
| City | New Brunswick |
| Period | 31/07/96 → 3/08/96 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1996.