Thèse en cours
Equipe : Vérification d'Algorithmes, Langages et Systèmes
Vérification formelle et filtres numériques
Début le 01/10/2017
Direction : BOLDO, Sylvie
[HILAIRE Thibault]
Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI - VALS
Soutenue le 01/01/1970 devant le jury composé de :
Activités de recherche :
- Formalisation et preuves de programmes numériques
Résumé :
