ge-high-assurance / RACK

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

Related projects

Alternatives and complementary repositories for RACK