Getting the NuSMV Source Code

NuSMV Source download form

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