AdaCore et l'Inria ont lancé le laboratoire commun ProofInUse

Le 01/04/2015 à 17:00

Après plusieurs années de collaboration, l'éditeur de logiciels et l'institut de recherche ont franchi une nouvelle étape avec la création de ProofInUse. Ses activités s'articuleront autour du développement d'outils de preuves formelles et de leur déploiement auprès des industriels.