Under forelæsningen blev gennemgået eksempler på korrekthedsbeviser for nedenstående tre eksempler.

1. Algoritmen "DutchFlag" fra [HS] side 67. Algoritmen i bogen er ikke korrekt. For at algoritmen skal være korrekt skal tildelingerne

        A[i] <-> A[w]; w <- w + 1;
        A[i] <-> A[b]; b <- b + 1;
   

   erstattes med

        A[i] <-> A[b]; 
        A[b] <-> A[w];
        w <- w + 1;
        b <- b + 1;
   

2. Kvadrering af et heltal udelukkende ved hjælp af addition, subtraktion og halvering af lige tal: Eksamensopgave 1 fra august 2002 i kurset "Algoritmer og Datastrukturer".
3. Algoritme for at finde majoritetselementet i et array:

        ALGORITHM : Majoritet
        INPUT     : Array A af længde n>=1, hvor der findes et majoritets
                    element der forekommer >n/2 gange
        OUTPUT    : x = Majoritet(A)
        METHOD    : i <- 1
                    j <- 1
                    x <- A[0]
                    { I } while i < n do
                             if j=0 then
                                x <- A[i]
                                j <- 1
                             else
                                if x=A[i] then
                                   j <- j+1
                                else
                                   j <- j-1
                             i <- i+1
        
        Invarianten I er:
        
          1)  1 <= i <= n
          2)  0 <= j
          3)  -j <= i - 2 * (antal forekomster af x i A[0]...A[i-1])
          4)  for alle y<>x: j <= i - 2 * (antal forekomster af y i A[0]...A[i-1])