Français Anglais
Accueil Annuaire Plan du site
Joint Inria project team: Toccata
joint project

Toccata is a Inria team common with Université Paris-Sud and CNRS
Web Page of the team

  ° MARCHÉ Claude

Research activities
  ° Automated Proof, SMT and Applications
  ° Formalisation and Proof of Numerical Programs
  ° Formalisation of (Specification and Programming) Languages in Proof Assistants
  ° Data-Centric Languages and Systems
  ° Deductive Verification of Programs

Associated research projects
  ° Verification of Algorithms, Languages and Systems

LRI members
  ° BALABONSKI Thibaut
  ° BOLDO Sylvie
  ° CLOCHARD Martin
  ° CONCHON Sylvain
  ° CONTEJEAN Evelyne
  ° DAILLER Sylvain
  ° DECLERCK David
  ° EVRAT Katia
  ° FAISSOLE Florian
  ° FILLIÂTRE Jean-Christophe
  ° HILAIRE Thibault
  ° MARCHÉ Claude
  ° MELQUIOND Guillaume
  ° PASKEVYCH Andriy
  ° PAULIN-MOHRING Christine
  ° RIEU-HELFT Raphaël

Non-LRI members

More information:
Joint Inria project teams
° Ex Situ
° In Situ
° Postale