Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Vérification de propriétés MSO sur les pomsets
du 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