spin (devel/spin) Updated: 2 years, 9 months ago Add to my watchlist
The Spin model checkerSPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Version: 6.5.2 License: SPIN
GitHub
| Maintainers | roederja |
| Categories | devel |
| Homepage | http://spinroot.com |
| Platforms | darwin |
| Variants | - |
"spin" depends on
lib (2)
build (1)
Ports that depend on "spin"
No ports
Port notes
The ispin command needs an X server. Either from the xorg-server port or from www.xquartz.org
Port Health:
Loading Port Health