 |
 |
Doctorant
INRIA
Toccata
Tel : (+33) 1 72 92 59 97
Fax : (+33) 1 74 85 42 29
Bureau :
Page personnelle : http://www.lri.fr/~moy/
Courrier électronique : moy@lri.fr |
Activités de recherche
- Démonstration automatique
- Preuve de programme
Logiciels et brevets
- Caduceus : Outil Caduceus de vérification de programmes C
Thèses et habilitations
Doctorat - Preuve automatique et modulaire de la sûreté de fonctionnement des programmes C
Participations à des contrats
- CAT
|
