Thales et le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) ont signé un accord de partenariat pour créer leur nouveau laboratoire commun dédié aux méthodes formelles pour le logiciel. Ce nouveau laboratoire regroupera des équipes de CEA Tech et de Thales qui mutualiseront leur savoir-faire et leur expertise pour mettre en place de nouvelles méthodes formelles de validation des logiciels et des systèmes critiques.
Aucun commentaire:
Enregistrer un commentaire