ge-high-assurance/VERDICT ge-high-assurance/VERDICT

  • Stars
    star
    40
  • Rank 676,868 (Top 14 %)
  • Language
    Java
  • License
    BSD 3-Clause "New...
  • Created about 5 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ge-high-assurance/VERDICT
github

ge-high-assurance

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

RACK

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

SOTERIA

An automated way to synthesize safety-informed architectures
OCaml
4
star
3

safety-analysis

A model-based framework for modeling, visualizing, and analyzing the safety of system architectures
OCaml
3
star
4

RITE

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

flight-readiness-asp

Prolog
1
star
6

OPAI

Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA
Java
1
star
7

VERDICT-update-sites

Update sites for VERDICT plugin
1
star
8

sadl-snapshot-repository

Snapshot versions of SADLServer and Reasoner dependencies
1
star