fault-tree topic
List
fault-tree repositories
scram
131
Stars
54
Forks
Watchers
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
storm
124
Stars
73
Forks
Watchers
A Modern Probabilistic Model Checker
VERDICT
39
Stars
14
Forks
Watchers
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)