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

Fedora Electronic Lab trac at fedorahosted.org
Wed Dec 16 17:46:29 UTC 2009

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


 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.

More information about the Fedora-electronic-lab-list mailing list