You just read:

DARPA Awards GrammaTech $7.6M for Safety and Certification Research

News provided by

GrammaTech

Mar 25, 2020, 14:50 ET