Software verification tool (developed at Bell Labs)

Current version

xspin requires the following formula to be installed:
spin 6.4.8 The efficient verification tool of multi-threaded software

Recent formula history

Viktor Szakats xspin: use https homepage
Baptiste Fontaine xspin: use an https url
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Jack Nagel xspin: use patch DSL

Formula code at GitHub