Model-Checking SS 2009

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

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

Wednesday, 10:00 - 11:30 (MI 00.07.011), starting April 29th to July 22nd
Thursday, 15:00 - 16:30 (MI HS 2), starting April 23rd to July 23rd
Thursday, 12:45 - 14:15 (MI 03.09.014), starting April 30th to July 23rd

Lecturer:	Martin Leucker
Exercises:	Alarico Campetelli

Area:

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

Audience:

Students in advanced study period in computer science
Students in Master's degree computer science
Students with minor field of study in computer science