(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 © 2024 CercleFinance.com. Tous droits réservés.
BAE Systems: contrat de 6 M$ avec la DARPA
Actualité publiée le 04/12/24 16:52
| Cours | Graphes | News | Analyses et conseils | Historiques | Vie du titre |
Vous avez aimé cet article ? Partagez-le avec vos amis avec les boutons ci-dessous.
BAE Systems PLC
1 951,00 GBX
-0,84%
-0,84%
Actualités BAE Systems PLC
23/09/25
BAE Systems lance le HMS Agamemnon et avance le programme Dreadnought
18/09/25
BAE Systems livre les premiers véhicules blindés BvS10 du programme CATV
12/09/25
BAE Systems rapporte que le drone T-150 est 'opérationnel' pour la Royal Navy
12/09/25
BAE Systems et PGZ s'allient pour produire des munitions en Pologne
11/09/25
BAE Systems va livrer un sonar sous-marin avec Thales au Royaume-Uni
11/09/25
BAE Systems signe un accord de recherche avec l'AFRL sur le quantique
Soyez le premier à réagir à cet article
Pour poster un commentaire, merci de vous identifier.
Suivez les marchés avec des outils de pros !