NuSMV

click the source code to copy install NuSMV on any operating system with command-not-found.com