BAE Systems: contrat de 6 M$ avec la DARPA

(CercleFinance.com) - BAE Systems annonce que son organisation de recherche FAST Labs a reçu un contrat de 6 millions de dollars de la DARPA dans le cadre du programme PROVERS (Pipelined Reasoning of Verifiers Enabling Robust Systems).


Ce programme vise à simplifier l'utilisation des méthodes formelles, outils de vérification logicielle, pour les rendre accessibles aux développeurs non spécialisés.

Ces outils permettront d'améliorer la fiabilité des systèmes logiciels critiques du Département de la Défense (DoD) tout en réduisant les défauts et vulnérabilités, assure BAE Systems.


Copyright (c) 2024 CercleFinance.com. Tous droits réservés.