The model checker SPIN (1997)
Cached
Download Links
- [www.cs.umd.edu]
- [spinroot.com]
- [spinroot.com]
- [www.liacs.nl]
- [spinroot.com]
- [www.cs.uoregon.edu]
- [www.cs.ualberta.ca]
- [www.informatik.uni-freiburg.de]
- DBLP
Other Repositories/Bibliography
| Venue: | IEEE Transactions on Software Engineering |
| Citations: | 1130 - 26 self |
BibTeX
@ARTICLE{Holzmann97themodel,
author = {Gerard J. Holzmann},
title = {The model checker SPIN},
journal = {IEEE Transactions on Software Engineering},
year = {1997},
volume = {23},
pages = {279--295}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract—SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone exchanges. This paper gives an overview of the design and structure of the verifier, reviews its theoretical foundation, and gives an overview of significant practical applications. Index Terms—Formal methods, program verification, design verification, model checking, distributed systems, concurrency.
