spin (devel/spin) Updated: 4 years 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
Displaying statistics for 1,236 users who made submissions during: until

Statistics for selected duration

2026-Feb-08 to 2026-Mar-10


Total Installations 2
Requested Installations 2


macOS Versions

Loading Chart

Port Versions

Loading Chart



Xcode Versions

Loading Chart

CLT Versions

Loading Chart



Variants table

Variants Count


Monthly Statistics

Can remain cached for up to 24 hours










Quick Links:
MacPorts
Port Information was updated:
an hour ago
2b5be19a

Most recent build (in app's database) ran:
an hour ago

Latest stats submission was received:
39 minutes ago