Federal award (DEFINITIVE CONTRACT, fiscal year 2023)
Recipient: BAE SYSTEMS INFORMATION AND ELECTRONIC SYSTEMS INTEGRATION INC.
Awarding agency: Department of Defense / Defense Contract Management Agency
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2019-06-28 to 2023-12-31
Current total value of award: $9335000
Description: THE SAFE DOCUMENTS (SAFEDOCS) PROGRAM WILL DEVELOP NOVEL VERIFIED PROGRAMMING METHODOLOGIES FOR BUILDING HIGH ASSURANCE PARSERS FOR EXTANT ELECTRONIC DATA FORMATS, AND NOVEL METHODOLOGIES FOR COMPREHENDING SIMPLIFYING AND REDUCING THESE PARSERS