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

Seminar: Verifikationsverfahren

(S2, WS 2014/15)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Cornelius Aschermann, Florian Frohn, Jera Hensel, Thomas Ströder



Inhalt

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



Termine

Das Seminar wird als Blockseminar am Ende der Vorlesungszeit durchgeführt. Der genaue Zeitpunkt wird über eine doodle Umfrage ermittelt und dann veröffentlicht. 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. "Funktionale Programmierung", "Logikprogrammierung", "Termersetzungssysteme", etc.).



Themen

DatumZeitOrtThemaBetreuerReferent(in)
19.02.09:00-09:454201bSafety by InterpolationT. StröderSpinrath, Christopher
19.02.09:45-10:304201bHeap Representation with Separation LogicC. AschermannKehler, Thibaud
19.02.10:30-11:154201bAbstract Regular Tree Model CheckingF. FrohnJanson, Tom
19.02.11:15-12:004201bForest Automata for Verification of Heap ManipulationF. FrohnLekane Nimpa, Junior
19.02.13:30-14:154201bLiquid TypesC. AschermannBeaumont, Michael
19.02.14:15-15:004201bFinding Hard Bugs in C with Bounded Model CheckingC. AschermannAnwer, Meshkatul
20.02.09:00-09:454201bDeciding Bitvector Arithmetic with AbstractionJ. HenselKrueger, Andreas
20.02.09:45-10:304201bTermination Analysis using Bitvector ArithmeticJ. HenselHenn, Thomas
20.02.10:30-11:154201bProving Termination of Imperative Programs Using MAX-SMTJ. GieslKaroff, Johannes
20.02.11:15-11:304201bAProVE DemoLuFG i2 Team
20.02.11:30-12:154201b Termination Analysis for Concurrent ProgramsJ. GieslStrothmann, Thies Yannik
20.02.12:15-13:004201b Complexity Analysis for Integer ProgramsJ. GieslKielmann, Sabrina

Die Vortragsdauer beträgt jeweils 25 Minuten.



Zuordnung

Theoretische Informatik


Rückfragen

Bitte wenden Sie sich an Cornelius Aschermann.


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH