Vérification de programmes avec structures de données complexes
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 sit...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université de Grenoble
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00805794 http://tel.archives-ouvertes.fr/docs/00/80/57/94/PDF/thesis_french_cover.pdf |