ge-high-assurance / RACK

DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
20Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for RACK