Korrektheitsbeweis

“Ähnlich wie bei Lego-Steinen, wo man aus einer kleinen Auswahl von Basis-Blöcken Kunstwerke erstellen kann, so wird auch in der Informatik aus ein paar Basis-Operationen komplexe Software erstellt.”