Vérification relationnelle pour des programmes avec des données entières
Les travaux présentés dans cette thèse sont lies aux problèmes de vérification de l'atteignabilité et de la terminaison de programmes qui manipulent des données entières non-bornées. On décrit une nouvelle méthode de vérification basée sur une technique d'accélération de boucle, qui calcul...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université de Grenoble
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00805599 http://tel.archives-ouvertes.fr/docs/00/94/73/31/PDF/25544_KONECNY_2012_archivage.pdf |