|
|
Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|
|
Seminar: Verifikationsverfahren (S2, SS 2007) |
|
Prof. Dr. Jürgen Giesl, René Thiemann, Carsten Fuhs, Peter Schneider-Kamp, Stephan Swiderski
In diesem Seminar werden verschiedene Techniken und Verfahren zur Verifikation von Programmen vorgestellt.
Das Seminar wird als Blockseminar am 23. und 24. Juli veranstaltet. Es gelten folgende Fristen:
Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Termersetzungssysteme", "Logikprogrammierung", "Grundlagen der Funktionalen Programmierung", "Automatisierte Programmverifikation").
| Datum | Zeit | Thema | Betreuer | Referent(in) |
|---|---|---|---|---|
| 23.07. | 10:00 | SAT Solving Algorithms | P. Schneider-Kamp | Christoph Lohe |
| 23.07. | 11:00 | CTL Model Checking | P. Schneider-Kamp | Bahoz Abbas |
| 23.07. | 13:00 | LTL Model Checking | R. Thiemann | Patrick Baum |
| 23.07. | 14:00 | The DP-Framework | C. Fuhs | Marcel Pettau |
| 23.07. | 15:00 | SAT Solving for Finding Polynomial Orders | C. Fuhs | Patrick Kabasci |
| 24.07. | 10:00 | SAT Solving for Finding Path Orders | P. Schneider-Kamp | Marcus Reul |
| 24.07. | 11:00 | Proving Termination by Bounded Increase | S. Swiderski | Andreas Wortmann |
| 24.07. | 13:00 | Termination Analysis for Logic Programs by Term Rewriting | J. Giesl | Markus Kucay |
| 24.07. | 14:00 | Termination Analysis for Logic Programs by Query Mapping Pairs | R. Thiemann | Denis König |
| 24.07. | 15:00 | Liveness in Rewriting | J. Giesl | Marcel Campen |
Alle Zeiten sind vorläufig.
Theoretische Informatik, Informatik Vertiefung
| Disclaimer | Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|