GrammaTech, Inc., a leading developer of advanced commercial static analysis/software assurance products and advanced cybersecurity solutions, announces that it has been awarded a $7.6 million, four-year contract from Defense Advanced Research Projects Agency (DARPA).
Automated Rapid Certification of Software (ARCOS) is a DARPA program focused on generating evidence and assurance cases for a broad range of certification and/or accreditation standards. GrammaTech will develop technology that produces high-quality, traceable, and composable certification evidence for use in constructing assurance-case arguments for software that includes components available only in binary form.
