Prouver les programmes : pourquoi, quand, comment ?

Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve