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

Seminar: Verifikationsverfahren

(S2, SS 2007)

LuFG Informatik II


Veranstalter

Prof. Dr. Jürgen Giesl, René Thiemann, 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 23. und 24. Juli veranstaltet. Es gelten folgende Fristen:



Voraussetzungen

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



Themen

DatumZeitThemaBetreuerReferent(in)
23.07.10:00SAT Solving AlgorithmsP. Schneider-KampChristoph Lohe
23.07.11:00CTL Model CheckingP. Schneider-KampBahoz Abbas
23.07.13:00LTL Model CheckingR. ThiemannPatrick Baum
23.07.14:00The DP-FrameworkC. FuhsMarcel Pettau
23.07.15:00SAT Solving for Finding Polynomial OrdersC. FuhsPatrick Kabasci
24.07.10:00SAT Solving for Finding Path OrdersP. Schneider-KampMarcus Reul
24.07.11:00Proving Termination by Bounded IncreaseS. SwiderskiAndreas Wortmann
24.07.13:00Termination Analysis for Logic Programs by Term RewritingJ. GieslMarkus Kucay
24.07.14:00Termination Analysis for Logic Programs by Query Mapping PairsR. ThiemannDenis König
24.07.15:00Liveness in RewritingJ. GieslMarcel Campen

Alle Zeiten sind vorläufig.

Zuordnung

Theoretische Informatik, Informatik Vertiefung


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH