See:

https://en.wikipedia.org/wiki/SPIN_model_checker

https://spinroot.com/spin/whatispin.html
