DE Lassen wir für einen Moment den Blockchain-Kontext links liegen. Mit Tests lässt sich nur die Abwesenheit bestimmter Fehlern zeigen, aber nie die Abwesenheit aller Fehler. Wie Edsger W. Dijkstra dazu in seiner ACM Turing Lecture bereits 1972 sagte: