This page in English  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

Seminar: Verifikationsverfahren

(S2, WS 2016/17)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Florian Frohn, Jera Hensel, David Korzeniewski



Inhalt

In diesem Seminar werden verschiedene Techniken und Verfahren zur Verifikation von Programmen vorgestellt.



Termine

Der erste Seminartermin findet am Freitag, 28.10. um 12:15 im Seminarraum des I2 statt. Hier erhalten Sie Informationen zum weiteren Ablauf des Seminars und die Themen werden verteilt.

Das Seminar wird als Blockseminar am 14.02.2017 ab 9:00 in Raum 4201b durchgeführt. Es gelten folgende Fristen:



Vorgaben

Die Ausarbeitung kann auf Deutsch oder Englisch verfasst werden und darf nicht mehr als 10 Seiten inklusive Titel und Literaturverzeichnis umfassen. Bei diesem Umfang sind weder ein Index noch ein Inhaltsverzeichnis erwünscht, allerdings sollte ein Literaturverzeichnis vorhanden sein. Sollte die Ausarbeitung mehr als fünf Rechtschreib- oder Grammatikfehler auf einer Seite enthalten, wird die Bearbeitung abgebrochen.

Die Vortragsdauer beträgt jeweils 25 Minuten. Die Vorträge dürfen auf Deutsch oder Englisch gehalten werden.



Voraussetzungen

Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Funktionale Programmierung", "Logikprogrammierung", "Termersetzungssysteme", etc.).



Themen

ThemaLiteraturBetreuerStudentZeit
Geometric Nontermination ArgumentsLinkJera HenselLars Scheel9:00
Lower Runtime Bounds for Integer ProgramsLinkFlorian FrohnQingyi Liu9:45
Monotonic Abstraction for Programs with Multiply-Linked StructuresLinkDavid KorzeniewskiTimotheus Jochum10:30

Vorlagen

Vorlagen für ihre Ausarbeitung finden Sie hier. Die Verwendung ist optional.



Zuordnung

Theoretische Informatik


Rückfragen

Bitte wenden Sie sich an David Korzeniewski.


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH