Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur
Établir des preuves de bon fonctionnement des programmes est délicat ; on a recours à des outils de preuve, qui doivent procéder par surapproximation (à cause du théorème de Rice). La complétion d'automate est un tel outil, qui surapproxime l'ensemble des termes accessibles lors de l'...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2015
|
Subjects: | |
Online Access: | http://www.theses.fr/2015REN1S085/document |