AdaCore et l’Inria lancent le laboratoire commun ProofInUse

Le 06/02/2015 à 9:49  

C’est à l’occasion d’une journée technique organisée le 2 février dernier à Paris que l’éditeur franco-américain AdaCore, spécialisé dans les solutions logicielles pour le langage Ada, et l’Institut national de recherche en informatique et en automatique (Inria), au travers de son équipe de recherche Toccata spécialisée dans les spécifications formelles et les preuves assistées par ordinateur, ont annoncé le lancement opérationnel du laboratoire commun ProofInUse. Cogéré par AdaCore et l’Inria qui collaborent déjà ensemble depuis 2010, notamment sur le projet Hi-Lite, ProofInUse a vu sa création être validée au début de l’année dernière par l’Agence nationale de la recherche (ANR).

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