Programming-Testing-Proving
- Domaine
- Programming-Testing-Proving
- Domain - extra
- Année
- 2013
- Starting
- septembre
- État
- Closed
- Sujet
- Un langage unique pour à la fois développer des programmes et les prouver
- Thesis advisor
- MARCHE Claude
- Co-advisors
- Laboratory
- Collaborations
- Abstract
- L'objectif général de cette thèse est d'étudier la possibilité
d'utiliser Why3 comme un outil de programmation, permettant de
développer des programmes, de les compiler vers des exécutables, tout
en permettant simultanément de les prouver. - Context
- Objectives
- Work program
- Extra information
- Prerequisite
- Détails
sujet-these-martin.pdf- Expected funding
- 4e annee ENS
- Status of funding
- Confirmed
- Candidates
- Martin Clochard
- Utilisateur
- claude.marche
- Créé
- Lundi 29 juillet 2013 09:20:29 CEST
- dernière modif.
- Lundi 29 juillet 2013 09:22:51 CEST
Connexion
Ecole Doctorale Informatique Paris-Sud
Directrice
Nicole Bidoit
Assistante
Stéphanie Druetta
Conseiller aux thèses
Dominique Gouyou-Beauchamps
ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr