ProductNuSMV
NuSMV
NuSMV is a model checker that verifies properties by exhaustively exploring a finite state space. It is fully automatic but faces the state explosion problem, and is typically applied to protocol and hardware design.
Timeline (last 90 days)
Sep 15
Model checking verifies whether properties hold by exhaustively enumerating a system's state space, with representative tools including SPIN and NuSMV.
Unverified50%