Français Anglais
Accueil Annuaire Plan du site
Equipes
Equipe-Projet Toccata
lri-inria

Toccata est une Équipe Projet Inria commune avec l'Université Paris-Sud et le CNRS
Page Web de l'equipe


Responsable
  ° MARCHÉ Claude

Activités de recherche
  ° Démonstration automatique, SMT et applications
  ° Formalisation et preuves de programmes numériques
  ° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
  ° Langages et systèmes centrés données
  ° Vérification déductive de programmes

Equipes associées
  ° Vérification d'Algorithmes, Langages et Systèmes

Membres LRI
  ° BALABONSKI Thibaut
  ° BECKER Benedikt
  ° BELO DA SILVA LOURENCO Claudio
  ° BOLDO Sylvie
  ° CONCHON Sylvain
  ° CONTEJEAN Evelyne
  ° COQUEREAU Albin
  ° DAILLER Sylvain
  ° EVRAT Katia
  ° FAISSOLE Florian
  ° FILLIÂTRE Jean-Christophe
  ° GALLOIS-WONG Diane
  ° HILAIRE Thibault
  ° MARCHÉ Claude
  ° MELQUIOND Guillaume
  ° PASKEVYCH Andriy
  ° PAULIN-MOHRING Christine
  ° RIEU-HELFT Raphaël
  ° STEINBERG Florian

Membres non-LRI

Pour en savoir plus: http://toccata.lri.fr/
Equipes-projets Inria communes
° Ex Situ
° ILDA
° In Situ
° OAK
° Postale
° TAO