Contribution à la vérification de programmes C par combinaison de tests et de preuves.
La vérification de logiciels repose le plus souvent sur une spécification formelle encodant les propriétés du programme à vérifier. La tâche de spécification et de vérification déductive des programmes est longue et difficile et nécessite une connaissance des outils de preuve de programmes. En effet...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015BESA2045/document |