01Deductive root cause mapping using Boolean logic gates (AND/OR)
02Visual logic modeling for clear communication with technical stakeholders
03Systematic decomposition from top-level events to basic component failures
04Quantitative failure probability calculation for system-level events
050 GitHub stars
06Identification of minimal cut sets to isolate critical vulnerabilities