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-Saclay
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é :
