Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Doctorat de

Doctorat
Equipe : Vérification d'Algorithmes, Langages et Systèmes

Preuves par raffinement de programmes avec pointeurs

Début le 01/01/1970
Direction : MARCHÉ, Claude

Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Sud

Lieu de déroulement : LRI - TOCCATA

Soutenue le 06/09/2013 devant le jury composé de :
Joffroy Beauquier (Examinateur)
Catherine Dubois (rapporteur)
Marie-Laure Potet (rapporteur)
Claude Marché (directeur de thèse)
Loïc Correnson (Examinateur)
Alain Giorgetti (Examinateur)

Activités de recherche :
   - Vérification déductive de programmes

Résumé :