SPIN model checker
Sign in to saveAlso known as Simple PROMELA Interpreter
tool for verifying the correctness of software models
Wikidata facts
- Instance of
- open-source software
- Developer
- Gerard J. Holzmann
- Official website
- spinroot.com
- Has use
- model checking
Show 9 more facts
- implementation of
- Promela
- software version identifier
- 6.5.2
- Stack Exchange tag
- stackoverflow.com/tags/spin
- inception
- 1989-00-00
- copyright license
- 3-clause BSD License
- operating system
- macOS
- programmed in
- C
- influenced by
- communicating sequential processes
- source code repository URL
- github.com/nimble-code/Spin
via Wikidata · CC0