Model-Checking SS 2011

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), from May 2nd to July 4th
Tuesday, 10:00 - 12:00 (MI 03.09.014), from May 3rd to July 5th
Friday, 13:00 - 15:00 (MI 03.09.014), from May 5th to July 8th

Instructor:	Andrey Rybalchenko
Exercises:	Ruslán Ledesma Garza

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 exam (written or oral, TBD depending on the number of participants).
• Homework is not graded. We discuss homework problems and solutions during tutorials.
• There is a mini-test during the first 15min, i.e., between 10:00 and 10:15, of every Monday's class, starting May 9th. There will be 9 mini-tests. Each mini-test is graded on a 15 point scale.
• The final grade is improved by a one-step bonus, e.g., 2.7 to 2.3, if the end-term is passed with at least 4.0 and 52.5 points are scored in 7 best mini-tests out 9. There will be no bonus on the re-take. A missed mini-test cannot be re-taken.
• Achieving bonus points by constributing to a script. TBD.