Was ist ein Hoare-Triple und wofuer ist es gut?
Welche Sprache haben wir in der Vorlesung betrachtet?
Wie sind die Beweisregeln fuer das Hoare-Kalkuel?
Was ist Korrektheit und was ist Vollstaendigkeit?
Und dann haben wir also Korrektheit und Vollstaendigkeit von dem Beweiskalkuel gezeigt, oder? (Antwort: Nein! Nur relative Vollstaendigkeit)
Warum nur relative Vollstaendigkeit und was war das wichtige Werkzeug dabei?
Wofuer braucht man Boogie? Wie uebersetzt man IMP zu Boogie?
Was ist das Frameproblem und wie loest man es?