All Git Users → ge-high-assurance

1 open source projects by ge-high-assurance

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

✭ 20

java ocaml Xtend ANTLR Standard ML Dockerfile fault-tree model-checking attack-defense system-engineering cyber-resiliency behavioral-analysis architecture-analysis

1-1 of 1 user projects