nEUrOO (./72) :

Lionel Debroux (./65) :
mais absolument pas de prouver qu'un programme est correct

C'est impossible: halting problem

C'est possible: abstract interpretation