BAE Systems: $6 million contract with DARPA
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.
Go to the original article.
Contact us to request a correction