Versuch, die Korrektheit eines Programmes dadurch zu beweisen, dass die oberflächliche Suche nach Fehlern erfolglos bleibt ;-)