You just read:

Department of Homeland Security Selects GrammaTech for Software-Assurance Tool Project

News provided by

GrammaTech

Oct 04, 2016, 12:00 ET