From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Theses: 2013LerouxSutre2

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.

Récupéré sur http://www.labri.fr/index.php?n=Theses.2013LerouxSutre2
Page mise à jour le 19/10/2012 à 08:28