spin

The efficient verification tool of multi-threaded software

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

Current versions:

stable 6.4.8
bottle 🍾 high_sierra, sierra, el_capitan

JSON API for spin

Formula code on GitHub

Fork me on GitHub