spot

v 2.10.4 Updated: 9 months, 3 weeks 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 1