Sites Inria

Il y a 2 Résultats avec le mot clé : "LabCom"

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