Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Quelques triplets <strong>de</strong> <strong>Hoare</strong> vali<strong>de</strong>s<br />
{true} x := 5 { x=5 }<br />
{ x = y } x := x + 3 { x = y + 3 }<br />
{ x > 0 } x := x * 2 { x > -2 }<br />
{ x=a } if (x < 0) then x := -x else skip { x=abs(a) }<br />
Mais {x0 } n’est pas vali<strong>de</strong>.<br />
(ENSIIE) <strong>Hoare</strong> 12 / 52