NuSMV https://repo.valu3s.eu/tools/external-not-improved-tool/nusmv https://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png NuSMV Logo Tool Logo No image Owner External tool owner. The owner must be also one of the partners. FBK Link to the tool Link to the tool webpage/github (optional) https://nusmv.fbk.eu/ Contributing partner Tool description Extended description of the external tool NuSMV is a symbolic model checker for finite-state transition systems. It provides various BDD-based and SAT-based model checking algorithms. It supports the analysis of invariant, CTL and LTL properties. Contents There are currently no items in this folder.
