spot

v 2.10.1 Updated: 4 days, 8 hours ago

Spot is an object-oriented model checking library written in C++.


https://spot.lrde.epita.fr/index.html

To install spot, paste this in macOS terminal after installing MacPorts

sudo port install spot

Add to my watchlist

Installations 1
Requested Installations 0