Model-Checking SS 2008

Neuigkeiten | Termine | Inhalt | Übungen | Folien | Links

Die Vorlesung wird von einer wöchentlichen, zweistündigen Übung begleitet. Der genaue Übungstermin wird nach Absprache mit den Zuhörern zu Beginn der Vorlesung festgelegt.

Die Übung wird alternierend als Zentralübung und als Tutorübung abgehalten. Alle zwei Wochen werden Übungsaufgaben ausgegeben, deren Bearbeitung innerhalb der nachfolgenden zwei Wochen erfolgen soll.

Übungsblätter

Hier finden Sie die bis jetzt ausgegebenen Übungsblätter:

• Übungsblatt 1 für den 8. Mai: [PDF]
• Übungsblatt 2 für den 29. Mai: [PDF]
• Übungsblatt 3 für den 12. Juni: [PDF]
• Übungsblatt 4 für den 26. Juni: [PDF]
• Übungsblatt 5 für den 10. Juli: [PDF]