← all formulas
spin
Efficient verification tool of multi-threaded software
- Version
- v6.5.2
- License
- BSD-3-Clause
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install spin