703503 Einführung in Model Checking

Wintersemester 2011/2012 | Stand: 23.02.2012 LV auf Merkliste setzen
703503
Einführung in Model Checking
VO 1
2
keine Angabe
keine Angabe
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
schriftliche Prüfung
Beginn: siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mi 12.10.2011
14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Mi 19.10.2011
14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Mi 09.11.2011
14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Mi 16.11.2011
14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Mi 23.11.2011
14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Mi 30.11.2011
14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Mi 07.12.2011
14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Mi 14.12.2011
11.00 - 12.30 HSB 3 HSB 3 Barrierefrei 1.Prüfung
Mi 14.12.2011
14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 27.03.2012
08.30 - 10.00 HSB 3 HSB 3 Barrierefrei 2.Prüfung