Model-Checking SS 2013

News | Basic information | Content | Exercises | Slides | Links

Apr 15

Class has started.

Apr 16

Site has gone online.

Apr 26

First exercise has been posted.

Apr 28

Pictures from the blackboard for April 16-23 are online.

May 3

First homework is online, deadline in one week (May 10). If you have any questions about the homework, we discuss them in the first 15 minutes of the lecture from May 6.

May 3

Hours for tutorial updated. We start at 12:00 from next week. Notes updated to include material from the lectures 5th and 6h.

May 7

Exercises for tutorial on 10th May are online. Notes updated to include material from the lectures 7th and 8h. The next Studentische Vollversammlungen (SVV) takes place on 14. Mai 2013, 10-12 Uhr - so we will have no lecture that day.

May 24

Second homework is online, deadline in one week (May 30, noon).

Jun 21

The exercises for the tutorial on June 21 are online. Discussion on demand on Jun 24, send email before Jun 24 to ruslan@model.in.tum.de.