Model-Checking SS 2013

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

The lecture will take place every week on the following dates:

Monday, 10:00 - 12:00 (MI 03.09.014), Tuesday, 10:00 - 12:00 (MI 03.09.014), Tutorial: Friday, 12:00 - 14:00 (MI 03.09.014)

First lecture is on April 15.

Instructors:

Corneliu Popeea and Andrey Rybalchenko

Area:

4 SWS elective course in Informatik III (Theoretical computer science)
Elective course for the subject area "Formal Methods and their Applications" (FMA)