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

Seminar: Verifikationsverfahren

(S2, WS 2010/2011)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Carsten Otto, 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 im Februar 2011 durchgeführt. 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. "Logikprogrammierung", "Funktionale Programmierung", "Termersetzungssysteme", "Automatisierte Programmverifikation").



Themen

DatumZeitThemaBetreuerReferent(in)
15.02.10:00SAT + SMT SolvingC. FuhsThomas Freese
15.02.10:45Low Level Bounded Model CheckingT. StröderMichael Kurze
15.02.13:00Java Bytecode VerificationC. OttoPeng Sun
15.02.13:45Verification of Imperative Programs with KeYM. BrockschmidtLucas Brutschy
15.02.14:30Programming with Dependent TypesF. EmmesMax Goertz

Die Vortragsdauer beträgt jeweils 30 Minuten. Alle Startzeiten sind vorläufig.



Zuordnung

Theoretische Informatik, Informatik Vertiefung



Rückfragen

Bitte wenden Sie sich an Thomas Ströder.


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH