Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité
Nous étudions des classes d'automates à états finis calculant sur les arbres, étendus par des contraintes permettant de tester des égalités et diségalités entre sous-arbres. Nous nous concentrons sur des automates d'arbres à contraintes globales où les tests sont opérés en fonction des éta...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
École normale supérieure de Cachan - ENS Cachan
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00598494 http://tel.archives-ouvertes.fr/docs/00/59/84/94/PDF/Vacher2010.pdf |