Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Ph.D de

Ph.D
Group :

Automatic Modular Sataic Safety Checking for C Programs

Starts on 01/12/2005
Advisor : MARCHÉ, Claude

Funding : Convention industrielle de formation par la recherche
Affiliation : Université Paris-Saclay
Laboratory :

Defended on 15/01/2009, committee :
Burkhart Wolff
K. Rustan M. Leino
Xavier Leroy
Michael Norrish
Claude Marché
Pierre Crégut

Research activities :
   - Automated deduction
   - Verification
   - Program proof
   - Formalisation and Proof of Numerical Programs

Abstract :


More information: http://www.lri.fr/~marche/moy09phd.pdf