fault-tree: A fault tree analysis library.
Fault tree analysis is used to determine probability of failure modes in safety critical applications. Generates fault tree graphs (Graphviz) and calculates cutsets. Yices (required) is the backend SMT solver used for cutset calculation.
|Dependencies||base (>=4.0 && <5), yices (>=0.0.0.7 && <0.0.1) [details]|
|Author||Tom Hawkins <email@example.com>|
|Maintainer||Tom Hawkins <firstname.lastname@example.org>|
|Source repo||head: git clone git://github.com/tomahawkins/fault-tree.git|
|Uploaded||by TomHawkins at Tue Jan 4 16:54:17 UTC 2011|
|Downloads||781 total (10 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees