|
|
Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|
|
Seminar: Verifikationsverfahren (S2, WS 2009/2010) |
|
Prof. Dr. Jürgen Giesl, Fabian Emmes, Carsten Fuhs, Carsten Otto
In diesem Seminar werden verschiedene Techniken und Verfahren zur Verifikation von Programmen vorgestellt.
Das Seminar wird als Blockseminar am Ende der Vorlesungszeit im Februar 2010 durchgeführt. Es gelten folgende Fristen:
Die Ausarbeitung 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 oder mehr als zehn insgesamt enthalten, wird die Bearbeitung abgebrochen.
Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Grundlagen der Funktionalen Programmierung", "Logikprogrammierung", "Termersetzungssysteme", "Automatisierte Programmverifikation").
| Datum | Zeit | Thema | Betreuer | Referent(in) |
|---|---|---|---|---|
| 26.02. | 09:30 | SAT Solving | C. Fuhs | Sevket Gökay |
| 26.02. | 10:15 | Inductive Theorem Proving | J. Giesl | Tim Enger |
| 26.02. | 11:00 | Termination Analysis by Inductive Theorem Proving | J. Giesl | Georg Jennessen |
| 26.02. | 12:45 | Termination Analysis for Haskell Programs | F. Emmes | Christian Kuknat |
| 26.02. | 13:30 | Termination Analysis for Prolog Programs | C. Otto | Paul Tokarev |
| 26.02. | 14:15 | Termination Analysis for Java Bytecode | C. Otto | Sebastian Moj |
Die Vortragsdauer wird voraussichtlich 30 Minuten betragen.
Alle Zeiten sind vorläufig.
Theoretische Informatik, Informatik Vertiefung
Bitte wenden Sie sich an Carsten Fuhs.
| Disclaimer | Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|