BAE Systems Books DARPA Contract for Software Modernization
BAE Systems’ FAST Labs research and development organization has received a $6 million contract from the Defense Advanced Research Projects Agency as part of the Pipelined Reasoning of Verifiers Enabling Robust Systems, or PROVERS, program. DARPA Contract Scope The company said Wednesday it will develop a Department of Defense-relevant system that showcases the integration of formal […] More