|
|
Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|
Seminar: Verifikationsverfahren(S2, WS 2016/17) |
|
Prof. Dr. Jürgen Giesl, Florian Frohn, Jera Hensel, David Korzeniewski
In diesem Seminar werden verschiedene Techniken und Verfahren zur Verifikation von Programmen vorgestellt.
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:
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.
Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Funktionale Programmierung", "Logikprogrammierung", "Termersetzungssysteme", etc.).
| Thema | Literatur | Betreuer | Student | Zeit |
|---|---|---|---|---|
| Geometric Nontermination Arguments | Link | Jera Hensel | Lars Scheel | 9:00 |
| Lower Runtime Bounds for Integer Programs | Link | Florian Frohn | Qingyi Liu | 9:45 |
| Monotonic Abstraction for Programs with Multiply-Linked Structures | Link | David Korzeniewski | Timotheus Jochum | 10:30 |
Vorlagen für ihre Ausarbeitung finden Sie hier. Die Verwendung ist optional.
Theoretische Informatik
Bitte wenden Sie sich an David Korzeniewski.
| Disclaimer | Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|