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 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