-Pomset pour la modélisation et la vérification de systèmes parallèles
Un comportement distribué peut être décrit avec un multi-ensemble partiellement ordonné (pomset). Bien que compacts et très intuitifs, ces modèles sont difficiles à vérifier. La principale technique utilisée dans cette thèse est de ramener les problèmes de décision de la logique MSO sur les pomsets...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | , , , , , , |
| Fformat: | Thèse numérique |
| Iaith: | Français |
| Cyhoeddwyd: |
2014.
|
| Pynciau: | |
| Mynediad Ar-lein: | Accès au texte intégral https://theses.univ-orleans.fr/public/2014ORLE2068_vm.pdf http://www.theses.fr/2014ORLE2068/abes https://theses.hal.science/tel-01298527 |
| Nodyn: |
Thèse soutenue en co-tutelle Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Frédéric Loulergue (Président du jury) ; Jean-Michel Couvreur, Hamet Seydi, Frédéric Loulergue, Serge Haddad, Gane Samb Lô, Alain Griffault, Denis Poitrenaud (Membre(s) du jury) ; Serge Haddad, Gane Samb Lô (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | -Pomset for modelling and verifying parallel systems |