Logique de Hoare et Générateur de plus faible pré-condition - Inria

Logique de Hoare et Générateur de plus faible pré-condition - Inria

Exercice 1. ... On appelle triplet de Hoare un triplet {?} c {?}. ... `A l'aide de ce syst`eme de preuve, donnez une preuve du triplet de Hoare.