703503 Einführung in Model Checking

Wintersemester 2007/2008 | Stand: 31.01.2008 LV auf Merkliste setzen
703503
Einführung in Model Checking
VO 1
2
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesungen verstehen, sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für die Methoden der Spezifikation und Verifikation erlangt haben.
Spezifikation des Verhaltens eines Systems; Promela; Spezifikation von Eigenschaften eines Systems in LTL/CTL; Büchi-Automaten; Model-Checking Algorithmen
Beginn: KW 40
Gruppe 0
Datum Uhrzeit Ort
Mo 08.10.2007
13.15 - 14.00 HS 11 HS 11 Barrierefrei
Mo 15.10.2007
13.15 - 14.00 HS 11 HS 11 Barrierefrei
Mo 22.10.2007
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 29.10.2007
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 05.11.2007
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 12.11.2007
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 19.11.2007
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 26.11.2007
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 03.12.2007
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 10.12.2007
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 07.01.2008
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 14.01.2008
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 21.01.2008
13.15 - 14.00 HS C (Technik) HS C (Technik) Barrierefrei
Mo 28.01.2008
13.00 - 15.00 HS A (Technik) HS A (Technik) Barrierefrei
Mo 25.02.2008
13.00 - 15.00 HS A (Technik) HS A (Technik) Barrierefrei Klausur