Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking

Résumé : Les automates d'arbres et leurs applications à la vérification forment le tronc commun de cette thèse. Dans la première parie, nous définissons une plate forme de model-checking complète [...] La seconde partie se penche sur un aspect important des automates que nous utilisons: leur contraintes [...] Finalement, nous étudions également les automates d'arbres cheminants [...] Nous améliorons leur conversion en automates parallèles, et nous développons une procédure de semi décision de leur vacuité, à la fois efficace et précise
Type de document :
Thèse
Information Theory [cs.IT]. Université de Franche-Comté, 2013. English. 〈NNT : 2013BESA2010〉
Liste complète des métadonnées

Littérature citée [142 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00909608
Contributeur : Abes Star <>
Soumis le : mercredi 10 septembre 2014 - 09:37:21
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09
Document(s) archivé(s) le : jeudi 11 décembre 2014 - 11:56:09

Fichier

these_A_HUGOT_Vincent_2013.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00909608, version 2

Citation

Vincent Hugot. Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking. Information Theory [cs.IT]. Université de Franche-Comté, 2013. English. 〈NNT : 2013BESA2010〉. 〈tel-00909608v2〉

Partager

Métriques

Consultations de la notice

646

Téléchargements de fichiers

2133