Skip to Main content Skip to Navigation
Theses

Harnessing forest automata for verification of heap manipulating programs

Résumé : Les travaux décrits dans cette thèse portent sur le problème de vérification des systèmes avec espaces d’états infinis, et, en particulier, avec des structures de données chaînées. Plusieurs approches ont émergé, sans donner des solutions convenables et robustes, qui pourrait faire face aux situations rencontrées dans la pratique. Nos travaux proposent une approche nouvelle, qui combine les avantages de deux approches très prometteuses: la représentation symbolique a base d’automates d’arbre, et la logique de séparation. On présente également plusieurs améliorations concernant l’implementation de différentes opérations sur les automates d’arbre, requises pour le succès pratique de notre méthode. En particulier, on propose un algorithme optimise pour le calcul des simulations sur les systèmes de transitions étiquettes, qui se traduit dans un algorithme efficace pour le calcul des simulations sur les automates d’arbre. En outre, on présente un nouvel algorithme pour le problème d’inclusion sur les automates d’arbre. Un nombre important d’expérimentes montre que cet algorithme est plus efficace que certaines des méthodes existantes.
Complete list of metadatas

Cited literature [56 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00805794
Contributor : Abes Star :  Contact
Submitted on : Tuesday, June 27, 2017 - 10:46:10 AM
Last modification on : Friday, July 3, 2020 - 4:43:00 PM
Document(s) archivé(s) le : Wednesday, January 17, 2018 - 7:34:18 PM

File

25545_SIMACEK_2012_archivage1....
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00805794, version 2

Collections

Citation

Jiri Simacek. Harnessing forest automata for verification of heap manipulating programs. Systems and Control [cs.SY]. Université de Grenoble; Brno University of Technology (MAIS), 2012. English. ⟨NNT : 2012GRENM049⟩. ⟨tel-00805794v2⟩

Share

Metrics

Record views

347

Files downloads

151