Corriger un algorithme : preuve qu'il fait ce qu'il promet

Un algorithme correct, c'est simple : il fait exactement ce qu'on attend. Mais comment le prouver ? Il faut d'abord spécifier précisément les données en entrée et le résultat attendu en sortie. Ensuite, démontrer la correction revient à certifier que l'algorithme transforme toujours les bonnes entrées en bonnes sorties. C'est rigoureux, exigeant, et fondamental. Sans cette preuve, vous naviguez à l'aveugle. C'est la garantie mathématique qu'entre le code que vous écrivez et le comportement souhaité, il n'y a pas de mauvaise surprise.