Sites Inria

Il y a 3 Résultats avec le mot clé : "Adacore"

LabCom

LabCom ProofInUse : AdaCore & l'équipe-projet Toccata

A.B. (*) -

En 2014, Inria et la société AdaCore ont lancé un laboratoire commun baptisé ProofInUse pour une durée de trois ans. Ce laboratoire commun avait pour objet de proposer aux industriels des outils de vérification basés sur la preuve mathématique, qui visent à remplacer ou complémenter les activités de tests existantes, tout en réduisant les coûts de vérification.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > Labos communs Inria - PME > Labos communs avec les PME > ProofInUse

Lire la suite

Partenariat Recherche-Industrie

ProofInUse : kickoff meeting

Emmanuelle Perrot - 2/02/2015

Après plusieurs mois de construction, le labcom ProofInUse prend toute sa dimension opérationnelle. C’est en effet aujourd’hui qu’est officiellement lancé le début des travaux de développement qui vont permettre de fournir des outils de vérification pour les systèmes critiques.

Mots-clés :

Accueil > Centre > Saclay > Actualités > ProofInUse : kickoff meeting

Lire la suite

Claude Marché, responsable de l'équipe Toccata - © Inria / Photo Kaksonen

Partenariat recherche-industrie

ProofInUse : le LabCom Inria-AdaCore

Bertrand Bourgine (*) - 17/03/2014

Avec le lancement d’un Laboratoire Commun ou LabCom, l’équipe de recherche Toccata spécialisée dans les spécifications formelles et les preuves assistées par ordinateur renforce sa collaboration avec AdaCore , éditeur spécialisé dans les logiciels pour le développement de systèmes critiques.

Mots-clés :

Accueil > Centre > Saclay > Actualités > ProofInUse : le LabCom Inria-AdaCore

Lire la suite

Haut de page

Suivez Inria