Semilinearity of Vector Addition Systems with States

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 nombres 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 19/10/2012 à 08:28