Des programmes impératifs vers la logique équationnelle pour la vérification
Nous nous sommes intéressé à la logique équationnelle en tant que support de la vérification des programmes impératifs. Notre approche vise le double objectif d'automatiser la vérification des propriétés de programmes et de proposer un formalisme pour raisonner sur les programmes adapté aux act...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Nice Sophia-Antipolis
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00090688 http://tel.archives-ouvertes.fr/docs/00/09/06/88/PDF/THESE.PDF |