@hackage / fault-tree

A fault tree analysis library.

Latest0.0.0

About

Metadata

  • Last updated , by TomHawkins
  • License BSD-3-Clause
  • Categories Systems Programming

  • Maintained by: Tom Hawkins <tomahawkins@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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.