OOPM 2016/17 - Verifikation von Algorithmen

Folien zur Vorlesung

[.pdf]

Fragestellungen aus der Vorlesung

  • Kann man zeigen, dass ein Programm die Nachbedingungen bei bestehenden Vorbedingungen einhält?
  • Wie sind derartige Beweise strukturiert?
  • Kann man Termination beweisen?
  • Was sind die allgemeinen Regeln, welche solchen Beweisen zugrundeliegen.

Empfehlungen zur Nachbereitung

  • Studium der weiteren Beweise am Ende der Foliensammelung