[fedora-electronic-lab] [Fedora Electronic Lab] #89: Package NuSMV

[fedora-badges]

#89: Package NuSMV
---------------------------------------------------+------------------------
 Reporter:  shakthimaan                            |       Owner:  chitlesh 
     Type:  task                                   |      Status:  new      
 Priority:  major                                  |   Milestone:  Fedora 13
Component:  FEL                                    |     Version:  devel    
 Keywords:  model checker, verification, hardware  |  
---------------------------------------------------+------------------------
 NuSMV is a Symbolic Model Checker released under LGPL.

http://nusmv.fbk.eu/index.html

This is useful for formal verification of hardware. One needs to use the
 cudd package (BSD) shipped with NuSMV instead of the one shipped on Fedora
 because it has many changes.