Lecturer: | Prof. Dr.-Ing. Heiko Mantel |
Assistant: | Ximeng Li, Ph.D. |
Format: | Integrated course (IV4) |
Language: | English |
Place and time: | Tuesdays 11:40 - 13:20 in S2|17/103 |
Thursdays 11:40 - 13:20 in S1|03/223 | |
Midterm exam: | 07.12.2017 (Thursday) 11:40 - 13:20 |
Final exam: | 08.02.2018 (Thursday) 11:40 - 13:20 |
Max. participants: | 80 |
Links: | TUCaN page (course id: 20-00-0580-iv) D120 Forum (bulletin board of the Fachschaft) |
Final exam inspection: The final exam inspection will take place on 26.02.2018 (Monday), 9:30-10:30 in room S2|02/A313. Please bring your student ID card and an official photo ID for authentication. To avoid unnecessarily long waiting times, we recommend that people with last names starting K-Z come during 9:30-10:00, and people with last names starting A-J come during 10:00-10:30.
Room for the final exam on 08.02.2018 (Thursday): As previously announced, the room for the final exam on 08.02.2018 (Thursday), 11:40-13:20, will be S1|03/223 (usual lecture room on Thursdays for the course). Bring your student ID card and official photo ID for authentication. Bring a blue or black pen (not pencil).
Mid-term exam inspection: The mid-term exam inspection will take place on 24.01.2018 (Wednesday), 9:00-10:00 in Room S2|02/E202. Please bring your student ID card and an official photo ID for authentication. To avoid unnecessarily long waiting times, we recommend that people with last names starting A-J come during 9:00-9:30, and people with last names starting K-Z come during 9:30-10:00.
Announcement: The first lecture will take place on Thursday 19.10.2017.
Announcement: There is no lecture on 31.10.2017 (Tuesday), since it is a public holiday.
The online material can be accessed here using the password communicated in the first lecture.
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.
Last modified on 29 March 2018.