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

Seminar:
Satisfiability Checking

(S2, WS 2011/12)

LuFG Informatik 2


Veranstalter

Prof. Dr. Erika Ábrahám, Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Florian Corzilius, Fabian Emmes, Carsten Fuhs, Nils Jansen, Ulrich Loup, Johanna Nellen, Carsten Otto, Thomas Ströder


Inhalt

Dieses Seminar beschäftigt sich mit der automatischen Überprüfung der Erfüllbarkeit (Satisfiability) von Formeln. Hierbei werden unterschiedliche Logiken betrachtet, z.B. reine Aussagenlogik, aber auch Erweiterungen wie Quantified Boolean Formulae oder SAT Modulo Theories. Es werden sowohl Techniken zur effizienten Überprüfung der Erfüllbarkeit angesprochen als auch praktische Anwendungen in der Programmverifikation vorgestellt.

Weitere Details und aktuelle Informationen finden Sie auf der entsprechenden englischsprachigen Webseite zu diesem Seminar.


Termine

Das Seminar wird als Blockseminar am Ende der Vorlesungszeit durchgeführt.


Voraussetzungen


Themen

Die Themen werden bei der Vorbesprechung bekanntgegeben.


Zuordnung

Theoretische Informatik, Informatik Vertiefung


Rückfragen

Bitte wenden Sie sich an Thomas Ströder.

Weitere Details und aktuelle Informationen finden Sie auf der entsprechenden englischsprachigen Webseite zu diesem Seminar.


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH