Thales et le CEA créent un laboratoire commun dans le domaine des logiciels et méthodes formelles

Le groupe Thales et le 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.