Vraagstelling
	Bepaal in het array x[0..30) het grootste getal.

Strategie

Formele probleemspecificatie
	pre: x = X
	post: m=(MAXi:0<=i<30:x[i])

* Eindrelatie
	R:m=(MAXi:0<=i<30:x[i])

* Invariant
	m=(MAXi:0<=i<=k:x[i]) ^ -1<=k<30

* Stopcriterium
	k!=29

Initialisatie
	k=-1;
	m=Integer.MIN_VALUE;

Stap richting stopcriterium
	k++;

Actie herstel invariant
	m=max((MAXi:0<=i<=k-1:x[i]),(MAXi:i=k:x[i]))

Algoritme

public int bepaalGrootste(Getallenrij x){
	int k=-1;
	int m=Integer.MIN_VALUE;
	while(k!=29){
		k++;
		if(x[k]>m){
			m = x[k];
		}
	}
	return m;
}