Algorithms and Tools for Verification
Proseminar · Bachelor
- Winter Term 2015/2016
- Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer, Johanna Nellen
Show all terms (3 more)Hide older terms
- Winter Term 2014/2015
- Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer, Johanna Nellen, Stefan Schupp
- Winter Term 2013/2014
- Teachers: Erika Ábrahám, Xin Chen, Florian Corzilius, Nils Jansen, Gereon Kremer, Ulrich Loup, Johanna Nellen, Stefan Schupp
- Winter Term 2012/2013
- Teachers: Erika Ábrahám, Xin Chen, Florian Corzilius, Nils Jansen, Ulrich Loup, Johanna Nellen
Inhalt
Dieses Proseminar hat als Thema bekannte Algorithmen und Tools aus dem Gebiet der Verifikation sicherheitskritischer Systeme.
Voraussetzungen
Für diese Veranstaltung sind Grundkenntnisse der Automatentheorie, wie sie in der Vorlesung “Formale Systeme, Automaten und Prozesse” vermittelt werden, erforderlich.
Organisation
- Die Themenvergabe erfolgt in der Einführungsveranstaltung.
- Das Proseminar umfasst eine schriftliche Ausarbeitung und eine Präsentation über das vergebene Thema sowie eine Einführung in das Textsatzsystem LaTeX und eine Präsentationsübung.
- Literatur wird nach der Einführungsveranstaltung mit dem jeweiligen Betreuer abgesprochen.
- Die Vorträge werden gegen Ende des Semesters als Blockseminar gehalten.
Termine, Themen, Materialien werden am Anfang des Semesters bekannt gegeben (für Beispiele siehe vorige Proseminare aus den Semestern WS12/13, WS13/14 und WS14/15).
Kontakt
Bei Fragen zu diesem Proseminar wenden Sie sich bitte an Florian Corzilius.