Wiki Agenda Contact English version

Présentation

Toccata est une équipe de recherche du centre de recherche INRIA Saclay - Île-de-France, commune avec le LRI (CNRS et Université Paris-Sud), localisée à Orsay, France. Elle a été créée en septembre 2012, en partie comme refondation de l'ancienne équipe ProVal. Les membres de Toccata sont également membres de l'équipe VALS du LRI.

L'objectif général de l'équipe est de promouvoir les spécifications formelles et les preuves assistées par ordinateur dans le cadre du développement de logiciels requérant au haut niveau de confiance dans leur sûreté de fonctionnement et le respect de comportements attendus.

Consulter l'entrée "Recherche" du menu ci-dessus, pour consulter des descriptions détaillées des activités scientifiques de l'équipe. Vous pouvez également consulter le rapport annuel d'activité de l'équipe en 2015 (en anglais).

Nouvelles

[Defense] December 13, 2016
Thesis defense of Leon Gondelman, Univ. Paris-Sud.
[Award] April 6th, 2016
Martin Clochard, Léon Gondelman and Mário Pereira jointly receive the "Best student team" award of the VerifyThis@ETAPS2016 verification competition.
[Conference] November 3-6, 2015
The 17h International Conference on Formal Engineering Methods takes place in Paris.
[Defense] June 15, 2015
Thesis defense of Catherine Lelay, bat. 650, Univ. Paris-Sud.
[Award] April 16th, 2015
Jean-Christophe Filliâtre and Guillaume Melquiond receive the "Best team" award of the VerifyThis@ETAPS2015 verification competition. Why3 also receives the "Distinguished user-assistance tool feature" award.
[Workshop] March 13th, 2015
The Frama-C day takes place at CEA Nano-innov in Saclay.
[Workshop] Feb 2, 2015
The ProofInUse KickOff takes place at Hotel Montparnasse, Paris.
[Arrival] Jan. 1, 2015
David Hauzar, new engineer working on the ProofInUse project
Nouvelles passées

INRIA Saclay - Île-de-France              Université Paris-Saclay              Université Paris-sud              CNRS              LRI