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

[Fedora Electronic Lab]

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

-- 
Ticket URL: <https://fedorahosted.org/fedora-electronic-lab/ticket/89>
Fedora Electronic Lab <https://fedorahosted.org/fedora-electronic-lab>
Design, Simulate and Program electronics.