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

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