Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis
Ce document présente différents outils pour représenter et manipuler des ensembles infinis de n-uplets d'arbres appelés langages de n-uplets d'arbres. Nous avons choisi la programmation logique comme formalisme pour décrire les langages de n-uplets d'arbre (c.à.d. les relations) et le...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université d'Orléans
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00490819 http://tel.archives-ouvertes.fr/docs/00/49/08/19/PDF/rapportthese.pdf |