703503 Einführung in Model Checking

Wintersemester 2010/2011 | Stand: 03.03.2011 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
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:
http://cl-informatik.uibk.ac.at/teaching/ws10/imc/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mi 06.10.2010
 12.15 - 14.00 HS F (Technik) HS F (Technik) Barrierefrei
Mi 13.10.2010
 12.15 - 14.00 HS F (Technik) HS F (Technik) Barrierefrei
Mi 27.10.2010
 12.15 - 14.00 HS F (Technik) HS F (Technik) Barrierefrei
Mi 03.11.2010
 12.15 - 14.00 HS F (Technik) HS F (Technik) Barrierefrei
Mi 10.11.2010
 12.15 - 14.00 HS F (Technik) HS F (Technik) Barrierefrei
Mi 17.11.2010
 12.15 - 14.00 HS F (Technik) HS F (Technik) Barrierefrei
Mi 24.11.2010
 12.15 - 14.00 HS F (Technik) HS F (Technik) Barrierefrei
Mi 01.12.2010
 12.15 - 14.00 HS F (Technik) HS F (Technik) Barrierefrei
Mi 15.12.2010
 12.15 - 13.15 HSB 3 HSB 3 Barrierefrei Prüfung
Di 15.03.2011
 08.30 - 09.45 HSB 3 HSB 3 Barrierefrei 2.Klausur