Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Ph.D de

Ph.D
Group : Verification of Algorithms, Languages and Systems

Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels

Starts on 14/09/2013
Advisor : MARCHÉ, Claude

Funding : ENS
Affiliation : Université Paris-Saclay
Laboratory : LRI - VALS

Defended on 30/03/2018, committee :
Directeur de thèse :
- Claude Marché, Directeur de recherche Inria, Saclay

Co-encadrant :
- Andrei Paskevich, Maître de conférences à l'Université Paris-Sud, Saclay

Rapporteurs :
- Sandrine Blazy, Professeure à l'Université de Rennes 1, Rennes
- Alexandre Miquel, Professeur à l'Universidad de la República, Montevideo

Examinateurs :
- Hubert Comon, Professeur à l'ENS Paris-Saclay, Saclay
- François Pottier, Directeur de recherche Inria, Paris

Research activities :
   - Deductive Verification of Programs

Abstract :