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

Doctorat
Equipe :

Preuve automatique et modulaire de la sûreté de fonctionnement des programmes C

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

Ecole doctorale : Paris XI
Etablissement d'inscription : Université Paris-Sud

Lieu de déroulement :

Soutenue le 15/01/2009 devant le jury composé de :
Burkhart Wolff
K. Rustan M. Leino
Xavier Leroy
Michael Norrish
Claude Marché
Pierre Crégut

Activités de recherche :
   - Démonstration automatique
   - Vérification
   - Preuve de programme
   - Formalisation et preuves de programmes numériques

Résumé :


Pour en savoir plus: http://www.lri.fr/~marche/moy09phd.pdf