By considering selected examples the students shall get an overview on classical and advanced approaches for program analysis and verification and their application fields. Central is to get a deepened understanding of the underlying principles and concepts and of the analogies between program analysis and program verification.

Selected topics on program verification and program analysis, e.g. intra- and interprocedural program analysis, analysis of parallel programs, exhaustive vs. demand-driven analysis, principles like soundness, completeness and optimality in analysis, verification and optimization.

Die Vorbesprechung und im Anschluss daran der erste Vorlesungstermin finden am Dienstag, den 08.03.2011, von 16-18 Uhr c.t. im Hörsaal EI 3a in der Gußhausstr. 25-29 statt. Eine allgemeine Vorbesprechung zu allen vom Arbeitsbereich Programmiersprachen und Übersetzer im SS 2011 angebotenen Lehrveranstaltungen findet am Mittwoch, den 02.03.2011, von 13-14 Uhr s.t. im Hörsaal EI4 in der Gußhausstr. 25-29 statt.

Grading assignments and oral examination. Further information on the evaluation and grading process is available at the homepage of the lecture course.

Die Vorlesung ergänzt die Lehrveranstaltungen 185.274 Weiterführender Übersetzerbau, 185.276 Analyse und Verifikation und 185.205 Semantik von Programmiersprachen. Sie empfiehlt sich deshalb inbesondere für Studierende, die im Bereich von Programmiersprachen und Übersetzerbau einen besonderen Schwerpunkt setzen, eine Seminararbeit, ein Praktikum oder ihre Diplomarbeit anfertigen möchten.

Im SS 2011 bietet sich besonders der parallele Besuch der Lehrveranstaltung 185.323 Verifikation von Übersetzern an, die im Rahmen einer Erasmus/LLP-Vereinbarung mit der Martin-Luther-Universität Halle-Wittenberg, Deutschland, von Prof. Dr.habil. Wolf Zimmerman in der Zeit vom 01.03.2011 bis 11.03.2011 gehalten wird.