Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle
Cette thèse revisite de deux manières le domaine abstrait des polyèdres utilisé pour l'analyse statique de programmes.D'abord, elle montre comment utiliser l'assistant à la preuve Coq pour apporter des garanties sur la correction des opérations sur les polyèdres sans compromettre l�...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015GREAM045/document |