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
  ° BECKER Benedikt
  ° BELO DA SILVA LOURENCO Claudio
  ° BOLDO Sylvie
  ° CONCHON Sylvain
  ° CONTEJEAN Evelyne
  ° COQUEREAU Albin
  ° DAILLER Sylvain
  ° DECLERCK David
  ° 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

Non-LRI members

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