nusmv

New symbolic model checker for the analysis of synchronous finite-state and infinite-state systems

Name

NuSMV

Programs

• NuSMV
• ltl2smv

Homepage

• https://nusmv.fbk.eu/

Version

2.7.0

Maintainers

• Merlin Humml

Platforms

• aarch64-linux
• armv5tel-linux
• armv6l-linux
• armv7a-linux
• armv7l-linux
• i686-linux
• loongarch64-linux
• m68k-linux
• microblaze-linux
• microblazeel-linux
• mips-linux
• mips64-linux
• mips64el-linux
• mipsel-linux
• powerpc-linux
• powerpc64-linux
• powerpc64le-linux
• riscv32-linux
• riscv64-linux
• s390-linux
• s390x-linux
• x86_64-linux
• x86_64-darwin
• aarch64-darwin

Defined

Source