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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

_______________________________________________
Fedora-electronic-lab-list mailing list
Fedora-electronic-lab-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-electronic-lab-list

[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Forum]     [KDE Users]

  Powered by Linux