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.
Downloads
- fault-tree-0.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.0.0 |
|---|---|
| Dependencies | base (>=4.0 && <5), yices (>=0.0.0.7 && <0.0.1) [details] |
| License | BSD-3-Clause |
| Author | Tom Hawkins <tomahawkins@gmail.com> |
| Maintainer | Tom Hawkins <tomahawkins@gmail.com> |
| Category | Language, Embedded |
| Home page | http://tomahawkins.org |
| Source repo | head: git clone git://github.com/tomahawkins/fault-tree.git |
| Uploaded | by TomHawkins at 2011-01-04T16:54:17Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 1288 total (5 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |