#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
