Separation logic : expressiveness, complexity, temporal extension
Cette thèse étudie des formalismes logiques exprimant des propriétés sur des programmes. L'intention originale de ces logiques est de vérifier formellement la correction de programmes manipulant des pointeurs. Dans l'ensemble, il ne sera pas proposé de méthode de vérification applicable da...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2013DENS0033/document |