BAE Systems: $6 million contract with DARPA

(CercleFinance.com) - BAE Systems announces that its FAST Labs research organization has received a $6 million contract from DARPA as part of the PROVERS (Pipelined Reasoning of Verifiers Enabling Robust Systems) program.


This program aims to simplify the use of formal methods, software verification tools, to make them accessible to non-specialist developers.

These tools will improve the reliability of critical Department of Defense (DoD) software systems, while reducing defects and vulnerabilities, assures BAE Systems.


Copyright (c) 2024 CercleFinance.com. All rights reserved.