8.2Anwendungen der Logik und der theoretischen Informatik

Programmkorrektheit

Tut ein Programm, was es soll? Spezifikationen, Hoare-Logik und Schleifeninvarianten als Werkzeuge für Beweise über Programme.

Leitformel
{P} S {Q}\{P\}\ S\ \{Q\}
Lernziel

Korrektheitsbegriffe unterscheiden, Hoare-Tripel aufstellen und partielle und totale Korrektheit mit Schleifeninvarianten nachweisen.

Einheit wird geladen …