GE High Assurance Software (@ge-high-assurance)
Guthub

ge-high-assurance

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    72
  • Global Org. Rank 67,206 (Top 22 %)
  • Registered over 5 years ago
  • Most used languages
    Python
         28.6 %
    OCaml
         28.6 %
    Java
         28.6 %
    Prolog
         14.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 58,359
  • Country Ranking
    Prolog
         274
    OCaml
         354
    Java
         4,214

Top repositories

1

VERDICT

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

RACK

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

SOTERIA

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

safety-analysis

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

RITE

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

flight-readiness-asp

Prolog
1
star
7

OPAI

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

VERDICT-update-sites

Update sites for VERDICT plugin
1
star
9

sadl-snapshot-repository

Snapshot versions of SADLServer and Reasoner dependencies
1
star