Accueil
>
Collaborations
>
Equipes-projets Inria communes
> Toccata
Présentation
Equipes
Equipes de recherche
Equipes de soutien à la recherche
Equipes-projets Inria communes
Activités de recherche
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
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
Publications
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
°
BOLDO Sylvie
°
EVRAT Katia
°
FILLIÂTRE Jean-Christophe
°
MARCHÉ Claude
°
MELQUIOND Guillaume
°
PASKEVYCH Andriy
°
PAULIN-MOHRING Christine
Membres non-LRI
Pour en savoir plus
:
http://toccata.lri.fr/
Equipes-projets Inria communes
°
AVIZ
°
Ex Situ
°
ILDA
°
TAO
> tous les projets
