703521 Model-Checking

Sommersemester 2009 | Stand: 10.07.2009 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

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:

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Di 03.03.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Di 10.03.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Di 17.03.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Mi 18.03.2009	15.00 - 16.30	HS 11 HS 11	Barrierefrei
Di 24.03.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Mi 25.03.2009	15.00 - 16.30	HS 11 HS 11	Barrierefrei
Di 31.03.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Mi 01.04.2009	15.00 - 16.30	HS 11 HS 11	Barrierefrei
Di 21.04.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Mi 22.04.2009	15.00 - 16.30	HS 11 HS 11	Barrierefrei
Di 28.04.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Di 05.05.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Mi 06.05.2009	15.00 - 16.30	HS 11 HS 11	Barrierefrei
Di 12.05.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Mi 13.05.2009	15.00 - 16.30	HS 11 HS 11	Barrierefrei
Di 19.05.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Di 26.05.2009	09.15 - 11.00	HS 10 HS 10	Barrierefrei
Mi 27.05.2009	15.00 - 16.30	HS 11 HS 11	Barrierefrei