The state of SPIN

Gerard J. Holzmann, Doron Peled

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

39 Scopus citations


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 languageEnglish
Title of host publicationComputer Aided Verification - 8th International Conference, CAV 1996, Proceedings
EditorsThomas A. Henzinger, Rajeev Alur
PublisherSpringer Verlag
Number of pages5
ISBN (Print)3540614745, 9783540614746
StatePublished - 1996
Externally publishedYes
Event8th International Conference on Computer Aided Verification, CAV 1996 - New Brunswick, United States
Duration: 31 Jul 19963 Aug 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference8th International Conference on Computer Aided Verification, CAV 1996
Country/TerritoryUnited States
CityNew Brunswick

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.


Dive into the research topics of 'The state of SPIN'. Together they form a unique fingerprint.

Cite this