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.
Cite
CITATION STYLE
Holzmann, G. J., & Peled, D. (1996). The state of SPIN. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1102, pp. 385–389). Springer Verlag. https://doi.org/10.1007/3-540-61474-5_85
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
