Prouver les programmes : pourquoi, quand, comment ?

La vérification de modèles (model-checking)