19304112
Project Seminar
WiSe 14/15: Modelchecking: Projektseminar
Marcel Kyas
Comments
Es soll selbständig ein nicht-sequentielles Systems oder ein
nicht-sequentieller Algorithmus modelliert, dessen Anforderungen
formalisiert und schließlich das Modell bezüglich der Anforderungen mit
Hilfe von geeigneten Modellüberprüfern verifiziert werden. Es werden die
dazu notwendigen Methoden und Werkzeuge erarbeitet und vorgestellt. Die
Ergebnisse werden in einem Bericht zusammengefasst und Vorgetragen und
diskutiert.
close
14 Class schedule
Regular appointments
Mon, 2014-10-27 12:00 - 14:00
Mon, 2014-11-03 12:00 - 14:00
Mon, 2014-11-10 12:00 - 14:00
Mon, 2014-11-17 12:00 - 14:00
Mon, 2014-11-24 12:00 - 14:00
Mon, 2014-12-01 12:00 - 14:00
Mon, 2014-12-08 12:00 - 14:00
Mon, 2014-12-15 12:00 - 14:00
Mon, 2015-01-05 12:00 - 14:00
Mon, 2015-01-12 12:00 - 14:00
Mon, 2015-01-19 12:00 - 14:00
Mon, 2015-01-26 12:00 - 14:00
Mon, 2015-02-02 12:00 - 14:00
Mon, 2015-02-09 12:00 - 14:00