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 |
Titre | Vé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. |
Lieu | 076 |
Orateur | Jean-Michel Couvreur |
Email | jean-michel.couvreur@univ-orleans.fr |
Url | LIFO |
Aucun document lié à cet événement.
RetourRetour à l'index