Thèse en cours
Equipe : Vérification d'Algorithmes, Langages et Systèmes
De nouveaux réels pour Coq
Début le 03/10/2011
Direction : BOLDO, Sylvie
Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI-TOCCATA
Soutenue le 01/01/1970 devant le jury composé de :
Activités de recherche :
- Formalisation et preuves de programmes numériques
- Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
Résumé :
