Sites Inria

Il y a 6 Résultats avec le mot clé : "Toccata"

Rencontre Inria Industrie

RII - qualité logicielle

4/10/2013

À l’occasion de l’Open World Forum 2013, la direction du transfert et de l’innovation organise une Rencontre Inria Industrie sur la qualité logicielle le vendredi 4 octobre.

Lieu : Le Beffroi 2 place Emilie Cresp - 92120 Montrouge - Salle Gopher (2.06)

Intervenant(s) : Isabelle Ryl, Xavier Leroy, Julie Lawall, Gilles Muller, Stéphane Ducasse, Sylvain Conchon, Mohamed Iguernelala, Pascal Fontaine

Mots-clés :

Accueil > Innovation > Agenda > RII - qualité logicielle

lire la suite

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

Recherche

Quand les programmes font leurs preuves

Emmanuelle Perrot - 18/10/2013

Huit ans après la création de l’équipe Proval dirigée par Christine Paulin-Mohring, l’équipe prend un nouveau tournant en 2013, avec de nouvelles orientations et un nouveau responsable, Claude Marché. Celui-ci nous en dit plus sur cette nouvelle équipe, Toccata.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Quand les programmes font leurs preuves

Lire la suite

Labex

Le Labex DigiCosme fait son inauguration

Sylvain Allemand - 20/09/2012

À l'occasion du colloque d'inauguration du Labex DigiCosme les 12 et 13 septembre 2012, retour sur les origines et les ambitions de ce projet avec une interview de Christine Paulin-Mohring, en charge de son pilotage.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Le Labex DigiCosme fait son inauguration

Lire la suite

Publication

Arithmétique informatique et preuves formelles

M.Q. (*) - 29/11/2017

L'ouvrage "Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System" , coécrit par Sylvie Boldo et Guillaume Melquiond, tous deux chercheurs au sein de l'équipe de recherche Toccata du centre Inria Saclay - Île-de-France, vient de paraître aux éditions Iste.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Arithmétique informatique et preuves formelles

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

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

Haut de page

Suivez Inria