703521 Model-Checking

Sommersemester 2008 | Stand: 25.08.2008 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

assoz. Prof. Dr. René Thiemann, +43 512 507 53234

LV-Nummer:

703521

Titel:

Model-Checking

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Inhalt:

Model-Checking on-the-fly; Der Mü-Kalkül; S1S; Model-Checking von Realzeit-Systemen; Beherrschung des „state-space explosion“-Problems

Prüfungsmodus:

Schriftlich

Literatur:

Christel Baier und Joost-Pieter Katoen, Principles of Model Checking, MIT Press, 2008

Anmerkungen:

Voraussetzung für die Anmeldung ist der positive Abschluss von Modul 1 Spezifikation und Verifikation.
Beginn: KW 10

Link:

http://cl-informatik.uibk.ac.at/teaching/ss08/mc/

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik

2. Semester

Ausgewählte Kapitel der Verifikation (WM 8)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Di 04.03.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 06.03.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 11.03.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 13.03.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 01.04.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 03.04.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 08.04.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 10.04.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 15.04.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 17.04.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 22.04.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 24.04.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 29.04.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Di 06.05.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 08.05.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Do 15.05.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 20.05.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Di 27.05.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 29.05.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 03.06.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 05.06.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 10.06.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 12.06.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 17.06.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 19.06.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 24.06.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 26.06.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 01.07.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei
Do 03.07.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Di 29.07.2008	09.00 - 11.00	HS 10 HS 10	Barrierefrei	2. Klausur
Di 07.10.2008	14.00 - 16.00	HS 10 HS 10	Barrierefrei	3. Prüfung