DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
fault-tree
model-checking
attack-defense
system-engineering
cyber-resiliency
behavioral-analysis
architecture-analysis
-
Updated
Aug 22, 2024 - Java