Parameterized Verification

Dear students,

I have just uploaded one final problem set, with two exercises.

Even though a couple of lectures were cancelled, we managed to cover the complete contents of the course in the regular lecture time. However, the exercises thus far have not covered the View Abstraction approach, therefore there is this last (small) sheet in the final lecture week.

Please contact Shyam if you want to discuss the exercises this week or next.

Dear students,

after my medical procedure was postponed again, I decided that we will have a lecture this week (at the regular time), just to avoid more unnecessary delays.

I am very sorry about this change of schedule, but I think and hope that it is better than the alternative. If this is a serious problem for you, please let me know.

And by the way, there will not be a new exercise sheet this week, you will get the next one after the upcoming lecture.

Dear students,

the first exercise sheet is now available under Materials. Submissions (of at least the answers to the short questions) are due on Friday.

As announced in the first lecture, we will have mandatory (online) discussion slots where you talk about the exercises with a tutor, and of course also have the option to ask questions about the lecture. To this end, please form groups of 2 (or 3) students, and have at least one of the members of your group submit until Thursday evening (under Submissions -> Discussion Slot Groups) a file that contains the names and matriculation numbers of all members of the group, and the time slots that would fit all of you for the meetings.

Finally, I am sorry to say that there will be more changes to the lecture schedule. My medical procedure that was planned last week had to be postponed to this week, so this week there will again be no lecture. We will discuss how we can make up for the missed lectures, either by having additional meetings, or by covering some of the material in home work.

See you next week!

Dear students,

we will have our first lecture tomorrow, starting at 10:15 in the CISPA lecture hall.

In case you want to join virtually, please use the following Zoom link:

https://cispa-de.zoom.us/j/91053431273?pwd=Ukg5cnl6UGR2eWw5aWxkTk1aWjNFZz09

This link will be used for all our lectures this semester.

See you tomorrow!

Dear students,

since this Friday is a public holiday, our first lecture will be next week, on April 22.

Lectures are planned to be hybrid, i.e., physically at the CISPA lecture hall with the possibility to join via Zoom. I will share details about Zoom access with you before the first lecture.

See you next week!