Federal award (DEFINITIVE CONTRACT, fiscal year 2021)
Recipient: PDF ASSOCIATION, INC.
Awarding agency: Department of Defense / Defense Advanced Research Projects Agency
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2019-06-12 to 2022-11-30
Current total value of award: $2180450
Description: SAFEDOCS - DEVELOP NOVEL VERIFIED PROGRAMMING METHODOLOGIES FOR BUILDING HIGH ASSURANCE PARSERS FOR EXTANT ELECTRONIC DATA FORMATS, AND NOVEL METHODOLOGIES FOR COMPREHENDING, SIMPLIFYING, AND REDUCING THESE FORMATS