Méthodes et outils pour la spécification et la preuve de propriétés ...

Méthodes et outils pour la spécification et la preuve de propriétés ...

2.14 Spécification via une logique de Hoare . ... règle d'itération de la logique de Hoare pour la correction totale. Enfin ...