nusmv

v 2.6.0

The NuSMV model checker


http://nusmv.fbk.eu

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

sudo port install nusmv

Add to my watchlist

Installations 0
Requested Installations 0