La preuve de correction consiste donc à montrer que les résultats de l'algorithme vérifient cette spécification.
la- pʁˈøv də- koʁɛksjˈɔ̃ kɔ̃sˈist dˈɔ̃k a mɔ̃tʁˈe kə le- ʁezyltˈa də- (en)ˈɛlˈalɡɔːɹˌɪθm(fr) veʁifˈi sɛt spesifikasjˈɔ̃.