Wiki Agenda Contact English version

Présentation

Toccata est une équipe de recherche commune du centre de recherche INRIA Saclay - Île-de-France, du CNRS et de l'Université Paris-Saclay, localisée à Orsay, France. Les membres de Toccata sont également membres du nouveau Laboratoire Méthodes Formelles créé en 2021.

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.

Une description détaillée des activités scientifiques de l'équipe, y compris les résultats récents, est consultable dans le rapport annuel d'activité de l'équipe de 2020 (en anglais).

Nouvelles

(Not maintained, sorry)
Nouvelles passées

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