Latest Topics
- SVGALib
- SKYCITY
- Sa'id I ibn Idris
- SR Class W
- SM Supermalls
- SWU Member of the Month Archive
- SMCCDI (Information Service)
- S Doradus
- S plane
- Sabin BÄ?laÅ?a
Random Topics
SPIN model checker
Summary
- SPIN is a tool for software model checking. It was written by Gerard J.
Soundex: S153 ( S15 M34 C26 ) Metaphone: SPNMTLXKR Reference |
Similar Topics
- BLAST model checker
- Uppaal Model Checker
- Rabbit Model Checker
- Spell checker
- Master-checker
- Disk checker
- System File Checker
- SpellBound (spell checker)
- Grammar checker
- Fact checker
Related Topics
* This page is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "SPIN model checker".