spot (science/spot) Updated: 6 months, 1 week ago Add to my watchlist
Spot is an object-oriented model checking library written in C++.Version: 2.11.6 License: GPL-3 GitHub
Maintainers | No Maintainer |
Categories | science math |
Homepage | https://spot.lrde.epita.fr/index.html |
Platforms | darwin |
Variants |
|
"spot" depends on
lib (1)
build (1)
Ports that depend on "spot"
No ports
Port Health:
Loading Port Health