Les preuves de correction font habituellement intervenir une spécification logique que doivent vérifier les solutions du problème.
le- pʁˈøv də- koʁɛksjˈɔ̃ fˈɔ̃t abityɛlmˈɑ̃ ɛ̃tɛʁvənˈiʁ yn spesifikasjˈɔ̃ loʒˈik kə dwˈav veʁifjˈe le- solysjˈɔ̃ dy- pʁɔblˈɛm.