Mathematical Structures for Reachability Sets and Relations

Résumé

Ce sujet de thèse s'inscrit dans le cadre du projet ANR ReacHard. Ce projet s'intéresse à des questions algorithmiques fondamentales pour la vérification des systèmes à compteurs. Ces derniers sont des modèles de calcul simples, mais à espace d'états infinis, qui jouent un rôle important dans de nombreux domaines de l'Informatique. L'objectif de la thèse est d'étudier les systèmes à compteurs dont l'ensemble d'atteignabilité est semilinéaire. On s'intéressera en particulier à une classe essentielle de systèmes à compteurs : les systèmes d'addition de vecteurs.

Page mise à jour le 20/10/2012 à 00:30