A Modern Probabilistic Model Checker

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

EMF-based Fault-Tree Analysis Tool

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

The Open-PSA Model Exchange Format

An open source fault tree editor

Java-based System Reliability Evaluation Library

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

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

Visualization for Dynamic Fault Trees

Create, edit and save dynamic fault trees.

Repository for my Impianti di Elaborazione final project

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

Python library for dynamic fault tree analysis

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