Da bi totalna korektnost programa bila dokazana potrebno je još dokazati da se program zaustavlja nakon konačno mnogo koraka.
Kako je dimenzija niza n konačan prirodan broj i kako se spoljašnja petlja izvršava tačno n-1 put a unutrašnja tačno n puta, to će se program zaustaviti nakon konačno mnogo koraka. Time je dokazana totalna korektnost programa.
Naredna: Prevođenje u C program Gore: Selection sort Prethodna: Dokaz parcijalne korektnosti programa Sadržaj