Why not getting nuXmv

nuXmv 1.0.0 a new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems is OUT. You may have a try.

Getting the NuSMV Binary Code

NuSMV Binary Code download form

   Please enter the words you see in the box   

NuSMV Home page

NuSMV < >