GitHub repository: Alias-Alan/VERDICT
Primary language: Java
Description: DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)