|
|
Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|
Seminar: Verifikationsverfahren(S2, WS 2017/18) |
|
Prof. Dr. Jürgen Giesl, Florian Frohn, Marcel Hark, Jera Hensel, David Korzeniewski
In diesem Seminar werden verschiedene Techniken und Verfahren zur Verifikation von Programmen vorgestellt.
Das Seminar wird als Blockseminar am 23.02.2017 ab 9:00 in Raum 4201b durchgeführt. Die genauen Zeiten sind unten angegeben. 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.).
| Ausarbeitung | Literatur | Betreuer | Student | Zeit |
|---|---|---|---|---|
| Termination Analysis for Term Rewrite Systems Using Dependency Pairs | Link | Prof. Dr. Jürgen Giesl | Jiong Fu | 09:00-09:45 |
| Termination Proving Through Cooperation | Link | David Korzeniewski | Tom Neuhaeuser | 09:45-10:30 |
| Certifying Safety and Termination Proofs for Integer Transition Systems | Link | David Korzeniewski | Tobias Polock | 10:30-11:15 |
| Proving Termination of Imperative Programs Using Max-SMT | Link | Marcel Hark | Fabian Stein | 11:15-12:00 |
| Termination Analysis by Learning Terminating Programs | Link | Jera Hensel | Manuela Dalibor | 13:30-14:15 |
| Proving Termination and Memory Safety for Programs with Pointer Arithmetic | Link | Jera Hensel | Ruiming Huang | 14:15-15:00 |
| Complexity Analysis for Java | Link | Prof. Dr. Jürgen Giesl | Dmytro Pachkovskyi | 15:00-15:45 |
| Automated Program Verification Environment (AProVE) | Link | Prof. Dr. Jürgen Giesl | 15:45-16:00 | |
| Bounded Expectations: Resource Analysis for Probabilistic Programs | Link | Marcel Hark | Fabian Niklas Meyer | 16:00-16:45 |
Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Funktionale Programmierung", "Logikprogrammierung", "Termersetzungssysteme", etc.).
Theoretische Informatik
Bitte wenden Sie sich an Marcel Hark.
| Disclaimer | Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|