Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Der vollständige Artikel ist beim Verlag verfügbar.
The model checker SPIN
1997·3.762 Zitationen·IEEE Transactions on Software Engineering
Volltext beim Verlag öffnen3.762
Zitationen
1
Autoren
1997
Jahr
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. 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.
Ähnliche Arbeiten
Autoren
Institutionen
Themen
Formal Methods in VerificationSoftware Reliability and Analysis ResearchSoftware Testing and Debugging Techniques