July 18:
The "Einsicht" will take place in 3.11.44 on Wednesday, July 20, from 8:30 to 9 a.m.
July 3:
Exercise sheet #12 is online.
June 23:
Exercise sheets #10 and #11 are online.
DDcal will be needed to solve the problem 10.2.
Follow the link under "Links" to download the package.
June 22:
Instead of the lecture on Tuesday June 28, we will have a tutorial session in order to keep up with the lecture.
June 16:
Exercise sheet #9 is online.
June 9:
Exercise sheet #8 is online.
June 2:
Exercise sheet #7 is online.
May 24:
Exercise sheet #6 is online.
May 18:
On May 31, we'll have an exercise session instead of a lecture in order to eliminate the infamous Fronleichnameffekt.
May 12:
Exercise sheet #5 is online.
May 2:
Exercise sheet #4 is online.
April 21:
Exercise sheet #3 is online.
April 14:
Exercise sheet #2 is online.
April 13:
Here you can find specification patterns in LTL and other formalisms.
Contact
Teaching
