Contexte et atouts du poste

Dans le cadre de l'ANR GUMMIS.

L’ objectif est de prendre en compte les arrondies réalisés par les ordinateurs, dans la vérification (par Model-Checking) de systèmes dynamiques linéaires

Mission confiée

Missions :
Développer des algorithmes pour la vérification partielle (invariants) ou complète de systèmes dynamiques linéaires sous arrondis.

Un sujet proche donnant plus de détails peut être trouvé ici :

Le travail sera réalisé en collaboration avec Joël Ouaknine et David Purser. Des visites à Liverpool et Sarrebruck sont donc à prévoir au cours de la thèse.

Principales activités

Principales activés :