Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
OpenPRA model fixtures generated on the fly for testing and benchmarking solvers. Models stored in a persistent container for easy consumption.
-
XFTA is a powerful and efficient calculation engine for fault trees and related models.
-
-
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).
-
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)