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

We encourage the NuSMV users to fill the form and to Register. If you are already registered, or if you prefer to stay anonymous, press the Do not register button.

NuSMV Binary Code download form

Name:
   E-Mail address:  
Affiliation:
Address:
Please describe for what purposes you plan to use NuSMV:
   Further comments:   
   Please enter the words you see in the box   
                 


NuSMV Home page

NuSMV < >