xspin

Software verification tool (developed at Bell Labs)

Current version:
5.2.5

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

Dependencies

xspin requires the following formula to be installed:

Formula history

Viktor Szakatsxspin: use https homepage
Baptiste Fontainexspin: use an https url
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Jack Nagelxspin: use patch DSL