Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)

A Modern Probabilistic Model Checker

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

Visualization for Dynamic Fault Trees

An open source fault tree editor

Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems

EMF-based Fault-Tree Analysis Tool

The Open-PSA Model Exchange Format

This is a tutorial for the package FaultTree from openreliability.com

Python library for dynamic fault tree analysis

Java-based System Reliability Evaluation Library

Slow Fault Tree Analyser (SFTA): fault tree analysis for coherent fault trees

Create, edit and save dynamic fault trees.

An inverse estimation technique for back-fitting conditional/functional event probability distributions in an event tree to match target end-state frequencies.

Repository for my Impianti di Elaborazione final project