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.
Am Mittwoch, den 07.03.2012, findet von 13 Uhr s.t. bis 14 Uhr im Hoersaal EI4 eine gemeinsame Vorbesprechung fuer alle am AB Programmiersprachen und Uebersetzer im SS 2012 angebotenen Lehrveranstaltungen statt.
Eine spezifische Vorbesprechung fuer die LVA Analyse und Verifikation findet zusammen mit der ersten Vorlesung am Di, den 20.03.2012, um 16:30 Uhr im Hoersaal EI3a 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.