The fault-tree package
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.
Properties
| Version | 0.0.0 |
|---|---|
| Dependencies | base (≥4.0 & <5), yices (≥0.0.0.7 & <0.0.1) |
| License | BSD3 |
| Author | Tom Hawkins <tomahawkins@gmail.com> |
| Maintainer | Tom Hawkins <tomahawkins@gmail.com> |
| Category | Language, Embedded |
| Home page | http://tomahawkins.org |
| Source repository | git clone git://github.com/tomahawkins/fault-tree.git |
| Upload date | Tue Jan 4 16:54:17 UTC 2011 |
| Uploaded by | TomHawkins |
| Built on | ghc-7.0 |
Modules
- Language
Downloads
- fault-tree-0.0.0.tar.gz (Cabal source package)
- package description (included in the package)