spin (devel/spin) Updated: 3 years, 8 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 | https://spinroot.com |
| Platforms | darwin |
| Variants | - |
"spin" depends on
lib (2)
build (2)
Ports that depend on "spin"
build (1)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