spot

v 2.11.6 Updated: 1 year, 2 months 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