@hackage fault-tree0.0.0
A fault tree analysis library.
Categories
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.0.0 Tue, 4 Jan 2011
Installation
Dependencies (2)
Dependents (1)
@hackage/acme-everything
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.