v 6.5.2 Updated: 2 years, 2 months ago

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.


To install spin, paste this in macOS terminal after installing MacPorts

sudo port install spin

Add to my watchlist

Installations 2
Requested Installations 1