spot (science/spot) Updated: 4 weeks, 1 day ago Add to my watchlist
Spot is an object-oriented model checking library written in C++.Version: 2.14.5 License: GPL-3
GitHub
Statistics for selected duration
2026-Apr-07 to 2026-May-07
| 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