NuSMV

Install

All systems
curl cmd.cat/NuSMV.sh
OS X
brew install nu-smv

nu-smv