703503 Einführung in Model Checking
Wintersemester 2009/2010 | Stand: 23.02.2010 | LV auf Merkliste setzen703503
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
schriftliche Prüfung
Beginn: KW 42
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mi 14.10.2009
|
12.15 - 14.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mi 21.10.2009
|
12.15 - 14.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mi 28.10.2009
|
12.15 - 14.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mi 04.11.2009
|
12.15 - 14.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Fr 13.11.2009
|
16.15 - 18.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Di 17.11.2009
|
16.15 - 18.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Mi 25.11.2009
|
12.15 - 14.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mi 02.12.2009
|
12.15 - 14.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mi 09.12.2009
|
12.15 - 14.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mi 16.12.2009
|
12.15 - 13.45 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mi 13.01.2010
|
12.15 - 13.15 | HS A (Technik) HS A (Technik) | Barrierefrei | |
|
Di 16.03.2010
|
12.15 - 13.45 | HS A (Technik) HS A (Technik) | Barrierefrei | Prüfung |