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 />
Let L the following piece of co<strong>de</strong> :<br />
while (i != n) do<br />
i:=i+1;<br />
s:=s+(2*i-1)<br />
Check s = i ∗ i is an invariant for L !<br />
(ENSIIE) <strong>Hoare</strong> 27 / 52