Die Korrektheit eines Algorithmus bezeichnet die Eigenschaft, dass er für jede zulässige Eingabe eine korrekte Ausgabe liefert und dabei seine Spezifikation erfüllt. Dies kann besonders herausfordernd sein, da viele Algorithmen variable Abläufe haben, etwa durch Schleifen wie while. Wir prüfen die Korrektheit einiger Algorithmen im Detail.