|Lecturers:||Prof. Heiko Mantel, Dr. Markus Aderhold|
|Place and Time:||Monday 11:40–13:20 in S1|01/A01
Tuesday 09:50–11:30 in S2|02/C120
|First Lecture:||Tuesday, October 18, 2011|
The goal of program analysis is to gather information about the behavior of programs. Such information can be obtained statically (i.e., without executing the program) or dynamically (i.e., by executing the program).
The course will cover various techniques for the formal analysis of programs. Topics include:
These analysis techniques are relevant to prove the security of programs, to show correctness properties, or to optimize programs, for example.
Knowledge of Computer Science and Mathematics, equivalent to the first four Semesters in the Computer Science Bachelor program.
Slides, exercise sheets, and more information is available on the internal web page.
Last modified on 4 April 2012.