chrisage

Pinned Repositories

• VERDICT

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

  Language:Java4014

• RACK

  DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)

  Language:Python196

• RITE

  DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)

  Language:Python31

• verdict-snapshot-repository

  VERDICT libraries

  00

chrisage's Repositories