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.

La lecture de cet article est payante.
Pour le lire abonnez-vous ou connectez vous.

Dans la même rubrique

Copy link
Powered by Social Snap