spin (devel/spin) Updated: 2 years, 4 months ago Add to my watchlist

The Spin model checker

SPIN 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

Installations (30 days)


Requested Installations (30 days)