Pre izvođenja dokaza korektnosti testirajmo program na primerima prateći izvršavanje programa korak po korak.
|
|
|
|
|
|
Na ovaj način smo se uverili da je program verovatno ispravan, ali to još uvek ne znači da on to zaista jeste. Korektnost programa treba formalno dokazati korišćenjem sredstava matematičke logike.
Naredna: Invarijanta petlje Gore: Selection sort Prethodna: Pseudokod programa Sadržaj