L'équipe ProVal s'est arrêtée à la fin août 2012, et renaît en une nouvelle équipe
Toccata
Ces pages n'évoluent plus, suivez le lien ci-dessus pour les informations à
jour sur notre équipe.
Stages
Stages niveau Licence 3, Master 1, Master 2 pro ou ingénieur
-
Preuve formelle sur l'arithmétique flottante en double arrondi
-
Preuve formelle d'un algorithme de calcul de point fixe
- Itérateurs pour documents XML formalisés en Coq
Stages niveau Master 2 recherche
-
Preuve de programmes avec lieurs
-
Terminaison interactive de preuve de programmes avionique
-
Vérification formelle d'un calcul multiprécision de π
-
Mises à jour pour XML : système de type et langage
- Types solveurs et Mu-calcul
Thèses de Doctorat
- No ongoing offer
Sujets post-doctoraux
- No ongoing offer