Getting the NuSMV Source 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 Source 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   
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.

NuSMV Home page

NuSMV < >