[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.
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.
More information about the Fedora-electronic-lab-list
mailing list