703521 Model-Checking

Sommersemester 2011 | Stand: 09.05.2011 | 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 oder mündlich, hängt von Teilnehmerzahl ab

Literatur:

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

Anmerkungen:

Beginn:

Link:

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mi 09.03.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 16.03.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 23.03.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 30.03.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 06.04.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 13.04.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 04.05.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 11.05.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 18.05.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 25.05.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 08.06.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 15.06.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Do 16.06.2011	10.15 - 11.45	HS 10 HS 10	Barrierefrei
Mi 22.06.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei
Mi 29.06.2011	08.15 - 10.00	HS 10 HS 10	Barrierefrei