Advanced Topics in Verification

Advanced Topics in Verification

News

16. Februar - Die Informationen auf dieser Webseite sind noch vorläufig.

Organisation

Der Modulverantwortliche ist Prof. Dr. Roland Meyer. Die Veranstaltung wird zudem von Thomas Haas betreut. Der Übungsbetrieb wird von Natalia Gacek geleitet.

  • Zielgruppe der Vorlesung sind Studierende der Informatik im Master.
  • Das Modul kann nur von Studierenden in der neuen Masterprüfungsordnung 6 belegt werden. Bei Fragen diesbezüglich wenden Sie sich bitte an das Prüfungsamt.
  • Falls Sie die Vorlesung in den Bachelor einbringen möchten, klären Sie dies bitte mit dem Prüfungsamt ab.
  • Vorlesungstermin: Montag, 15:00 - 16:30 in IZ 358
  • Übungstermin: Dienstag, 16:45 - 18:15 in IZ 358

Modul

Es handelt sich um eine Veranstaltung mit 4 (2 VL + 2 Ü) Semesterwochenstunden.
Um das Modul erfolgreich mit 5 ECTS abzuschließen, sind zwei Leistungen zu erbringen:

  • Studienleistung: Sie erreichen mindestens 50% der Punkte in den Übungsaufgaben.
  • Prüfungsleistung: Sie bestehen eine (voraussichtlich) mündliche Prüfung in der vorlesungsfreien Zeit.

Übungsblätter

Materialien

Inhalte

In der Vorlesung werden aktuelle Themen in der Forschung im Bereich der Verifikation behandelt.

Literatur

Die Liste der Literatur, auf der die Vorlesung aufbaut, wird im Laufe des Semesters vervollständigt.