.png){kind=icon}
Return
The model checker SPIN
.png){kind=icon}
PRE
AI
DOI：10.1109/32.588521.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
formal methods
program verification
design verification
model checking
distributed systems
concurrency
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
5.6
Papers:
2.9K
Citations:
1.1W
Organization
No organization information available
Cited Papers
ShareSaveNeuraxial anesthesia in hepato-pancreatic-bilio surgery: a first western pilot study of 46 patients
OAAI
OAAIShareSaveShareSaveOptimised Anaesthesia to Reduce Post Operative Cognitive Decline (POCD) in Older Patients Undergoing Elective Surgery, a Randomised Controlled Trial.png)
PLoS ONE
OAAI
PLoS ONEIF0
OAAIShareSaveShareSave
View more