Home
>
Groups
>
Joint Inria project team
> Toccata
About LRI
Groups
Research groups
Support groups
Joint Inria project teams
Research activities
Collaborations
Research results
Open positions
Teaching
Useful informations
Joint Inria project team: Toccata
joint project
Toccata is a Inria team common with Université Paris-Sud and CNRS
Web Page of the team
Publications
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
°
BOLDO Sylvie
°
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
> more joint research projects
