Actus IT cea list : News, dossiers et analyses.

adacore-projet-hi-lite-applications-critiques

Projet Hi-Lite : AdaCore veut révolutionner la vérification des logiciels critiques

Récemment, les résultats du projet Hi-Lite associant AdaCore (développement d'applications critiques) et un bouquet de partenaires (Altran, INRIA, EADS-Astrium, CEA List, Thales) ont été présentés. But : fiabiliser au maximum les appli ...