⌈-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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2014ORLE2068/document |