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

Seminar: Verifikationsverfahren

(S2, SS 2006)

LuFG Informatik II


Veranstalter

Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp



Inhalt

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



Termine

Das Seminar wird als Blockseminar am 17. und 18. Juli veranstaltet. Die Vorbesprechung für das Seminar findet zu Beginn der Vorlesungszeit statt (April 2006); der genaue Termin wurde den Teilnehmern per E-Mail bekannt gegeben. Es gelten folgende Fristen:



Voraussetzungen

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



Themen

DatumZeitThemaBetreuerReferent
17.07.09:30Reducing LPO to SATP. Schneider-KampChristian Steffens
17.07.10:30The DP-FrameworkR. ThiemannPatrick Stalljohann
17.07.11:30Termination Proofs for a Lazy Functional LanguageJ. GieslFlorian Witte
17.07.13:30Termination Analysis for Logic Programs by Term RewritingJ. GieslDavid Fürst
17.07.14:30Liveness in RewritingP. Schneider-KampGabriel Martínez Magallón
18.07.09:30SAT Solving for Theorem ProvingJ. GieslAleksandar Hitrov
18.07.10:30Inductive Theorem ProvingJ. GieslChristoph Lischkowitz
18.07.11:30Verification of ProtocolsR. ThiemannStefan Plücken
18.07.13:30SAT Solving AlgorithmsP. Schneider-KampPhilip Ritzkopf
18.07.14:30LTL Model CheckingR. ThiemannJan Scherer
18.07.15:30CTL Model CheckingP. Schneider-KampStephan Günnemann

Alle Zeiten sind vorläufig.

Sonstiges

Die Ausarbeitung sollte inkl. Deckblatt exakt 12 Seiten umfassen und der Vortrag etwa 40 Minuten dauern.



Zuordnung

Theoretische Informatik, Informatik Vertiefung



Last modified: Mon Apr 24 10:35:11 CEST 2006 / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen