# SPIN model checker

> tool for verifying the correctness of software models

**Wikidata**: [Q959513](https://www.wikidata.org/wiki/Q959513)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/SPIN_model_checker)  
**Source**: https://4ort.xyz/entity/spin-model-checker


## References

1. [Source](http://spinroot.com/spin/Doc/V1.Updates)
2. [Source](http://spinroot.com/spin/Doc/V2.Updates)
3. [Source](http://spinroot.com/spin/Doc/V3.Updates)
4. [Source](http://spinroot.com/spin/Doc/V4.Updates)
5. [Source](http://spinroot.com/spin/Doc/V5.Updates)
6. [Source](http://spinroot.com/spin/Doc/V6.Updates)
7. [Version 6 Update history](http://spinroot.com/spin/Doc/V6.Updates)
8. [Spin Version 6.4.9 is now available. 2018](http://spinroot.com/fluxbb/viewtopic.php?id=1643)
9. [Release 6.5.0. 2019](https://github.com/nimble-code/Spin/releases/tag/version-6.5.0)
10. [Release 6.5.1. 2019](https://github.com/nimble-code/Spin/releases/tag/version-6.5.1)
11. [Spin Version 6.5.1 is now available on GitHub. 2019](http://spinroot.com/fluxbb/viewtopic.php?id=1665)
12. [Release 6.5.2. 2019](https://github.com/nimble-code/Spin/releases/tag/version-6.5.2)
13. [Source](http://spinroot.com/spin/Doc/roots.html)
14. Freebase Data Dumps. 2013
15. [Spin source code now on Github. 2018](http://spinroot.com/fluxbb/viewtopic.php?pid=3521)