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