La sémantique axiomatique utilise des pré/postconditions pour prouver la correction des programmes. Découvrez les triplets de Hoare, les invariants de boucle et les applications pratiques.
L5) Les trois sémantiques
Explorez les 3 sémantiques formelles : opérationnelle, dénotationnelle et axiomatique. Comprenez comment elles décrivent le sens des programmes et choisissez la bonne approche pour vos projets.