Étant donné la garantie qu'un algorithme terminera, la preuve de correction doit apporter l'assurance que si l'algorithme termine en donnant un résultat, alors ce résultat est effectivement une solution au problème posé.
etˈɑ̃ dɔnˈe la- ɡaʁɑ̃tˈi kœ̃ (en)ˈalɡəɹˌɪθm(fr) tɛʁminʁˈa, la- pʁˈøv də- koʁɛksjˈɔ̃ dwˈa apɔʁtˈe lasyʁˈɑ̃s kə sˈi (en)ˈɛlˈalɡɔːɹˌɪθm(fr) tɛʁmˈin ɑ̃ dɔnˈɑ̃ œ̃ ʁezyltˈa, alˌɔʁ sə- ʁezyltˈa ɛt efɛktivmˈɑ̃ yn solysjˈɔ̃ o pʁɔblˈɛm pozˈe.