Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Exercice<br />
Démontrer que p<strong>ou</strong>r P et p<strong>ou</strong>r t<strong>ou</strong>t i, on {P} i {true}<br />
Vérifier en utilisant les règles <strong>de</strong> <strong>Hoare</strong> que {P} while true do c {Q}<br />
est dérivable p<strong>ou</strong>r t<strong>ou</strong>t P, Q et c.<br />
(ENSIIE) <strong>Hoare</strong> 31 / 52