v 6.5.2 Updated: 3 years, 7 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 into the macOS Terminal after installing MacPorts
sudo port install spin
| Installations | 3 |
| Requested Installations | 3 |