Evènement pour le groupe Modélisation et Verification


Date 2015-04-02  11:00-12:00
TitreVérification de propriétés MSO sur les pomsets 
RésuméUn comportement d’un système distribué se modélise naturellement par un ensemble d’événements partiellement ordonnées (pomset) : La relation d’ordre définie la relation de causalité entre les événements et deux événements causalement indépendants s’exécutent en parallèle. Dans cet exposé, nous proposons une méthode de vérification de la logique MSO applicable à la plus part des modèles classiques du parallélisme. Nous introduisons la notion G-pomset, une représentation d’un pomset par mot et montrons comment le problème de la vérification de MSO sur les pomsets se ramène à un problème de vérification de MSO sur des mots. 
Lieu076 
OrateurJean-Michel Couvreur 
Emailjean-michel.couvreur@univ-orleans.fr 
UrlLIFO 



Aucun document lié à cet événement.

Retour
Retour à l'index