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

Seminar: Verifikationsverfahren

(S2, WS 2009/2010)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Fabian Emmes, Carsten Fuhs, Carsten Otto



Inhalt

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



Termine

Das Seminar wird als Blockseminar am Ende der Vorlesungszeit im Februar 2010 durchgeführt. Es gelten folgende Fristen:



Vorgaben

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.



Voraussetzungen

Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Grundlagen der Funktionalen Programmierung", "Logikprogrammierung", "Termersetzungssysteme", "Automatisierte Programmverifikation").



Themen

DatumZeitThemaBetreuerReferent(in)
26.02.09:30SAT SolvingC. FuhsSevket Gökay
26.02.10:15Inductive Theorem ProvingJ. GieslTim Enger
26.02.11:00Termination Analysis by Inductive Theorem ProvingJ. GieslGeorg Jennessen
26.02.12:45Termination Analysis for Haskell ProgramsF. EmmesChristian Kuknat
26.02.13:30Termination Analysis for Prolog ProgramsC. OttoPaul Tokarev
26.02.14:15Termination Analysis for Java BytecodeC. OttoSebastian Moj

Die Vortragsdauer wird voraussichtlich 30 Minuten betragen. Alle Zeiten sind vorläufig.

Zuordnung

Theoretische Informatik, Informatik Vertiefung



Rückfragen

Bitte wenden Sie sich an Carsten Fuhs.


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH