AdaCore et l’Inria lancent le laboratoire commun ProofInUse

Les activités du laboratoire s’articuleront autour du développement d’outils de preuves formelles et de leur déploiement auprès des industriels pour…