Model-Checking SS 2010

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

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

Monday, 10:00 - 11:30 (MI 00.08.038 03.09.014), starting April 19th to July 19th
Tuesday, 10:00 - 12:00 (MI 00.08.038 03.09.014), starting April 20th to July 20th
Thurday, 12:45 - 14:15 (MI 03.09.014), starting April 22nd to July 22nd

Instructor:

Andrey Rybalchenko

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

Grading and exams

• Homework is not graded. We will discuss homework problems and solutions during tutorial sessions.
• There will be a written final exam.