Research institution
Nokia (United States)
US
1 researchers0 verified1 linked papers3,795 indexed citations
Researchers
Public research profiles associated with Nokia (United States).
Research from this institution
Publications linked through researcher authorship records.
1997 · IEEE Transactions on Software Engineering · 3,795 citations
The model checker SPIN
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. The paper gives an overview of the design and structure of the verifier, reviews its theoretical foundation, and gives an overview of significant practical applications.