703503 Einführung in Model Checking

Wintersemester 2011/2012 | Stand: 23.02.2012 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
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
http://cl-informatik.uibk.ac.at/teaching/ws11/imc
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
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