C++ implementation of the DEPM algorithm
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
Event Modeling Risk Assessment using Linked Diagrams (EMRALD)
The Colorado University Decision Diagram (CUDD) package is written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).
OpenPRA model fixtures generated on the fly for testing and benchmarking solvers. Models stored in a persistent container for easy consumption.
Bit-array backed Binary Decision Diagram solver
XFTA is a powerful and efficient calculation engine for fault trees and related models.