SPIN model checker
Sign in to saveAlso known as Simple PROMELA Interpreter
tool for verifying the correctness of software models
Wikidata facts
- Official website
- spinroot.com
Show 4 more facts
- software version identifier
- 6.5.2
- Stack Exchange tag
- stackoverflow.com/tags/spin
- inception
- 1989-00-00
- source code repository URL
- github.com/nimble-code/Spin
via Wikidata · CC0
Connections
English language
Concept
Linux
Entity
operating system
Entity
Microsoft Windows
Entity
International Standard Book Number
Entity
Q15777
Entity
Q11368
Entity
macOS
Entity
programmer
Entity
data compression
Entity
software license
Entity
Bell Labs
Entity
software release life cycle
Entity
Association for Computing Machinery
Entity
automata theory
Entity
BSD licenses
Entity
concurrency
Entity
source code repository
Entity
model checking
Entity
software category
Entity