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.
Correction <strong>de</strong>s règles<br />
Les règles <strong>de</strong> <strong>Hoare</strong> sont correctes : t<strong>ou</strong>t triplet dérivable est vali<strong>de</strong>.<br />
Plus formellement, on pr<strong>ou</strong>ve la correction par rapport à la sémantique<br />
opérationnelle du langage (voir plus tard, transparents ISL)<br />
(ENSIIE) <strong>Hoare</strong> 32 / 52