Verifikationsverfahren (SS 2008)

Lehr- und Forschungsgebiet Informatik 2

Fachgruppe Informatik

Seminar: Verifikationsverfahren
(S2, SS 2008)
LuFG Informatik 2

Veranstalter

Prof. Dr. Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp, Stephan Swiderski

Inhalt

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

Termine

Das Seminar wird als Blockseminar am 21.07.2008 und am 22.07.2008 veranstaltet. Es findet am 21.07. im B-IT in Bonn und am 22.07. an der RWTH Aachen statt. Hierzu wird ein kostenloser Fahrdienst von der RWTH zum B-IT und zurück organisiert. Es gelten folgende Fristen:

08.05.: Literatur abholen
05.06.: Inhalt der Literatur verstanden haben und Konzeption absprechen
03.07.: Vollständige Ausarbeitung (12 Seiten inkl. Deckblatt und Literaturverzeichnis) abgeben; sollte diese mehr als fünf Rechtschreib- oder Grammatikfehler auf einer Seite oder mehr als zehn insgesamt enthalten, wird die Bearbeitung abgebrochen.
21.07.: Korrigierte Ausarbeitung in ausreichender Anzahl kopiert zum Seminar mitbringen; die Kopien können am Lehr- und Forschungsgebiet angefertigt werden.

Voraussetzungen

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

Themen

Datum	Zeit	Thema	Betreuer	Referent(in)
21.07.	10:15	CTL Model Checking	P. Schneider-Kamp	Mohamad Abbas
21.07.	11:00	LTL Model Checking	P. Schneider-Kamp	Till Königshofen
21.07.	11:45	SAT Solving Algorithms	P. Schneider-Kamp	Sebastian Rüdiger Kocks
21.07.	14:45	Combination of Decision Procedures	S. Swiderski	Wu Hao
21.07.	15:30	Verification of Object-Oriented Programs	P. Schneider-Kamp	Tobias Ickler
21.07.	16:15	Inductive Theorem Proving	J. Giesl	Christina Jansen
22.07.	09:00	The DP Framework	J. Giesl	Ilja Blanik
22.07.	09:45	Bounded Increase	S. Swiderski	Alexander Schiffel
22.07.	10:30	Context-Sensitive Rewriting	C. Fuhs	Ventsislava Vasileva
22.07.	11:15	Termination Analysis for Haskell Programs	S. Swiderski	Saskia König
22.07.	13:00	Termination Analysis for Logic Programs by Term Rewriting	J. Giesl	Michael Schmitz
22.07.	13:45	Termination Analysis for C Programs	S. Swiderski	David Clermont

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