Connexion
Mot de passe oublié Pas encore de compte ?

BAE Systems : Contrat de 6 M$ avec la DARPA

mercredi 4 décembre 2024 à 16h52
BFM Bourse

(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.

Forum suspendu temporairement
Portefeuille Trading
+334.30 % vs +56.92 % pour le CAC 40
Performance depuis le 28 mai 2008

Newsletter bfm bourse

Recevez gratuitement chaque matin la valeur du jour