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

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


Responsable
  ° 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
  ° BEN SALEM-KNAPP Louise
  ° BOLDO Sylvie
  ° DENIS Xavier
  ° EVRAT Katia
  ° FILLIÂTRE Jean-Christophe
  ° MARCHÉ Claude
  ° MELQUIOND Guillaume
  ° PASKEVYCH Andriy
  ° PAULIN-MOHRING Christine

Non-LRI members

More information: http://toccata.lri.fr/
Joint Inria project teams
° AVIZ
° Ex Situ
° ILDA
° TAO