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 < >