19304101 Vorlesung

WiSe 14/15: Modelchecking

Marcel Kyas

Kommentar

Unterschied zwischen Programmieren und Modellieren Modellieren reaktiver Systeme in SPIN und Promela Spezifizieren von Anforderungen in temporalen Logiken Automatentheoretische Modelle von ... Lesen Sie weiter

Literaturhinweise

Christel Baier und Joost-Pieter Katoen, Principles of Model Checking, The MIT Press, 2008 Mordechai Ben Ari, Principles of the SPIN Model Checker, Springer Verlag, 2008 Gerard Holzmann, The ... Lesen Sie weiter

16 Termine

Regelmäßige Termine der Lehrveranstaltung

Mo, 13.10.2014 14:00 - 16:00
Mo, 20.10.2014 14:00 - 16:00
Mo, 27.10.2014 14:00 - 16:00
Mo, 03.11.2014 14:00 - 16:00
Mo, 10.11.2014 14:00 - 16:00
Mo, 17.11.2014 14:00 - 16:00
Mo, 24.11.2014 14:00 - 16:00
Mo, 01.12.2014 14:00 - 16:00
Mo, 08.12.2014 14:00 - 16:00
Mo, 15.12.2014 14:00 - 16:00
Mo, 05.01.2015 14:00 - 16:00
Mo, 12.01.2015 14:00 - 16:00
Mo, 19.01.2015 14:00 - 16:00
Mo, 26.01.2015 14:00 - 16:00
Mo, 02.02.2015 14:00 - 16:00
Mo, 09.02.2015 14:00 - 16:00

Studienfächer A-Z