ge-high-assurance/VERDICT

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

语言：Java · GitHub 星标：49 · Fork：14

话题：architecture-analysis · attack-defense · behavioral-analysis · cyber-resiliency · fault-tree · model-checking · system-engineering

在 GitHub 上查看原仓库