spin (devel/spin) Updated: 2 years, 9 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
Statistics for selected duration
2024-Oct-23 to 2024-Nov-22
| Total Installations | 1 |
|---|---|
| Requested Installations | 0 |
Loading Chart 
Loading Chart
Loading Chart
Loading Chart
| Variants | Count |
|---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart