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.
TP : utilisation du plugin Jessie <strong>de</strong> Frama-C<br />
Frama-C : plateforme développé par le CEA p<strong>ou</strong>r la vérification <strong>de</strong><br />
programmes C (analyse statique, preuve déductive ...)<br />
www.ensiie.fr~/dubois/ISL10/JessieTP.html<br />
(ENSIIE) <strong>Hoare</strong> 47 / 52