The fault-tree package

[Tags: bsd3, 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.


Properties

Version0.0.0
Dependenciesbase (>=4.0 && <5), yices (>=0.0.0.7 && <0.0.1)
LicenseBSD3
AuthorTom Hawkins <tomahawkins@gmail.com>
MaintainerTom Hawkins <tomahawkins@gmail.com>
CategoryLanguage, Embedded
Home pagehttp://tomahawkins.org
Source repositoryhead: git clone git://github.com/tomahawkins/fault-tree.git
UploadedTue Jan 4 16:54:17 UTC 2011 by TomHawkins
Downloads190 total (9 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees