Manchmal scheint es, daß die Fehlerbeseitigung in einem Progamm nie aufhört. Dies trifft insbesondere für Programme zu, die vor dem Schreiben nicht analysiert oder beim Schreiben schlecht strukturiert wurden. Gerade wenn ein Programm einwandfrei zu laufen scheint, ergibt ein neuer Eingabesatz offensichtlich falsche Ergebnisse. Die Korrektheit von Programmen ist eine Angelegenheit, der in einer ständig vom Computer abhängiger werdenden Welt steigende Bedeutung zukommt. Bei einigen Anwendungsprogrammen reicht es nicht, „sicher“ zu sein, daß sie richtig laufen; man muß es wissen.