News
18.05.2020
|
Re-Exam GradesDear all, Dear all, Best regards, Shrey Sharma |
05.05.2020
|
Re-Exam RulesDear all,
With regards to hygiene measures due to the COVID-19 situation, the following rules will be followed for the re-exam. 1. All students should wear masks throughout the examination. Disinfectants and masks will be available at the entrance to the... Read more Dear all,
With regards to hygiene measures due to the COVID-19 situation, the following rules will be followed for the re-exam. 1. All students should wear masks throughout the examination. Disinfectants and masks will be available at the entrance to the lecture hall if necessary. 2. Entrance to building E1 3 will be conducted in a controlled order. Students are to queue outside the building E1 3 before the examination with a minimum distance of 2m between them. 3. Please carry your student identity card and personalausweis or equivalent(e.g. residence permit, passport) into the lecture hall for identification.
In addition, we ask all students participating in the re-exam to inform us immediately if, i. you have been in contact with a person who has been tested positive for COVID-19 ii. you have any of the following symptoms:
Please let us know if there are any further questions.
Best regards, Shrey Sharma |
23.04.2020
|
Re-Exam DateDear all, Based on the responses to the Doodle poll, the re-exam will take place on Thursday, 14th May, 2020, from 10:00 to 12:00 in Lecture Hall 002 in E1 3. Please be there by 9:50 at the latest so that we can start with the exam at 10:00. Please note... Read more Dear all, Based on the responses to the Doodle poll, the re-exam will take place on Thursday, 14th May, 2020, from 10:00 to 12:00 in Lecture Hall 002 in E1 3. Please be there by 9:50 at the latest so that we can start with the exam at 10:00. Please note that for the safety of everyone involved, all students participating in the re-exam are requested to wear face masks. You may bring up to 2 sheets of paper ("cheat sheets") with contents of your choice. Do not forget to register for the exam on LSF in time. Best regards, Shrey Sharma |
19.04.2020
|
Dear all, Dear all, Best Regards, Shrey Sharma |
18.03.2020
|
Re-Exam PostponedDear all, Due to the current developments we cannot carry out the re-exam as planned. The re-exam ist postponed indefinitely. We will let you know about the new date as soon as we get more information about when the university will be reopened. Please get in... Read more Dear all, Due to the current developments we cannot carry out the re-exam as planned. The re-exam ist postponed indefinitely. We will let you know about the new date as soon as we get more information about when the university will be reopened. Please get in touch with us if there is an urgent need for you to take the exam soon. Best regards and take care! Jan Reineke |
28.02.2020
|
Re-Exam on April 3Dear all, The re-exam will take place on Friday, April 3 from 14:00 to 16:00 in lecture hall 3 in building E1 3. If you would like to participate, please do not forget to register for the exam in the LSF. Best regards, Jan Reineke |
17.02.2020
|
Exam gradesDear all, The exam grades have been added to the CMS system. You find them as usual on your personal page in the CMS. The exam inspection will take place on Wednesday, 19th February, 2020, at 3:00 p.m. in room 401, E1 3. Best regards, Shrey Sharma |
05.02.2020
|
Exam on February 13Dear all, The exam will take place from 10:00 to 12:00 on Thursday, February 13 in Lecture Hall 001 in E1 3. Please be there at 9:50 at the latest so that we can start with the exam at 10:00. You may bring up to 2 sheets of paper ("cheat sheets") with... Read more Dear all, The exam will take place from 10:00 to 12:00 on Thursday, February 13 in Lecture Hall 001 in E1 3. Please be there at 9:50 at the latest so that we can start with the exam at 10:00. You may bring up to 2 sheets of paper ("cheat sheets") with contents of your choice. Do not forget to register for the exam on LSF in time. Best regards,
|
03.02.2020
|
Exam DateBased on the received feedback the only possible date for the final exam is February 13, 10-12. Thus, we will stick to this date. |
29.01.2020
|
Wrap-Up SessionWe will use the final lecture slot of the semester on February 4 to recap the material that we have covered throughout the semester. This is your chance to pose any questions you might have about the material! |
28.01.2020
|
Exam DatePlease indicate your preferences for the exam date using the following Doodle: https://doodle.com/poll/duryyck3nezv5tdc We will schedule the exam based on your responses submitted until Thursday 2pm. So please respond right away!
|
18.11.2019
|
Change of Lecture HallFrom tomorrow, November 19, onwards, the lectures will take place in lecture hall 003 (rather than in lecture hall 001) in building E1 3. |
11.11.2019
|
Exercise 3.4 - Changes and deadline extendedWe have simplified the CFG interface based on feedback from some of the students. Also, there was a bug in the CFG structure. The earlier CFG design would consider the first node in the CFG as an "entry" node. This was visible in the CFG::print() function that... Read more We have simplified the CFG interface based on feedback from some of the students. Also, there was a bug in the CFG structure. The earlier CFG design would consider the first node in the CFG as an "entry" node. This was visible in the CFG::print() function that would skip the first node while printing the CFG. This has now been changed so that the CFG::print() function prints all nodes in the CFG. This is consistent with the definition of CFG in the lecture. The first node in your CFG has to be the one for the first statement in the program. Please pull and merge the new changes from the analyzer repository. Due to the above mentioned changes, we are extending the deadline for this problem to 10:00 am on Thursday, November 14, 2019. The deadline for the other problems in the assignment sheet is still November 12, 2019, before the lecture. |
24.10.2019
|
Lecture on 25.10.2019There will be a lecture tomorrow (25.10.2019) in seminar room SR 014 at 10:00 am. Please be there on time. |
17.10.2019
|
First Lecture PostponedSince Prof. Reineke is sick, unfortunately, we have to postpone the first lecture of the course to 22nd October, 2019. |
Program Analysis
Introduction
Program analysis aims at automatically analyzing the behavior of programs with regards to certain properties. The properties are often related to correctness, robustness or safety of the program. In this course we discuss different state-of-the-art techniques in the field and their applications.
Time and Place
The lectures and tutorials take place on Tuesdays from 10:00 - 12:00 and Fridays from 10:00 - 12:00. The lectures take place in lecture hall 003 in building E1 3 and the tutorials in seminar room SR 014. The first lecture is on October 22, 2019.
Prerequisites
While there are no specific course prerequisites for this advanced course, a solid background in discrete mathematics is highly recommended, as provided by undergraduate math courses in our bachelor's program. In addition, some C++ programming experience would be valuable for the practical assignments.
Exam
The "end of term" exam will take place after the end of the lecture period. A reexam will be offered on demand at the end of the semester.
To be admitted to the exam, at least 50% of the points in the assignments are required.