xspin

Software verification tool (developed at Bell Labs)

https://spinroot.com/spin/Src/index.html

Current versions:

stable 5.2.5
bottle 🍾 high_sierra, sierra, el_capitan, yosemite, mavericks

Depends on:

spin 6.4.8 The efficient verification tool of multi-threaded software

JSON API for xspin

Formula code on GitHub

Fork me on GitHub