0Publications
0KT Citations
0KT h-index
0KT i10-index
KT metrics are calculated only from papers uploaded or published on KnowledgeTrend and citations matched between those KnowledgeTrend papers. Imported metadata and external citation counts are excluded.
Research interests
Research interests have not yet been added.
Academic profiles & contact
Publications
1 research record shown
The model checker SPIN
1997 · IEEE Transactions on Software Engineering · DOI 10.1109/32.588521
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.
Read paper