Développement : Correction de la logique de Hoare

Détails/Enoncé :

On prouve ici la correction de la logique de Hoare. On insistera sur le cas de la boucle while que est le cas le plus intéressant.

Recasages pour l'année 2019 :

  • Pas de recasages pour cette année.

Autres années :

Versions :

Pas de version pour ce développement.