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

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:



Voraussetzungen

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



Themen

DatumZeitThemaBetreuerReferent(in)
21.07.10:15CTL Model CheckingP. Schneider-KampMohamad Abbas
21.07.11:00LTL Model CheckingP. Schneider-KampTill Königshofen
21.07.11:45SAT Solving AlgorithmsP. Schneider-KampSebastian Rüdiger Kocks
21.07.14:45Combination of Decision ProceduresS. SwiderskiWu Hao
21.07.15:30Verification of Object-Oriented ProgramsP. Schneider-KampTobias Ickler
21.07.16:15Inductive Theorem ProvingJ. GieslChristina Jansen
22.07.09:00The DP FrameworkJ. GieslIlja Blanik
22.07.09:45Bounded IncreaseS. SwiderskiAlexander Schiffel
22.07.10:30Context-Sensitive RewritingC. FuhsVentsislava Vasileva
22.07.11:15Termination Analysis for Haskell ProgramsS. SwiderskiSaskia König
22.07.13:00Termination Analysis for Logic Programs by Term RewritingJ. GieslMichael Schmitz
22.07.13:45Termination Analysis for C ProgramsS. SwiderskiDavid 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 RWTH