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