Model-Checking SS 2012

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:15 - 14:00 (MI 03.09.014)

First lecture is on April 17.

Instructors:	Alexander Malkis and Andrey Rybalchenko
Exercises:	Tewodros Awgichew Beyene

Area:

4 SWS elective course 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 exam:

• There will be an end-term written exam.
  
• Homework is not graded. We discuss homework problems and solutions during tutorials.
  
• There is a mini-test during the first 15 minutes of every tutorial class, starting April 27. There will be 12 mini-tests. Each mini-test is graded on a 15 point scale.