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.