Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
Seminar: |
Prof. Dr. Erika Ábrahám, Prof. Dr. Jürgen Giesl, Ahmed Abiba, László Antal, Daniel Cloerkes, Stefan Dollase, Rebecca Haehn, Jera Hensel, David Keller, Nils Lommen, Fabian Meyer, Jasper Nalbach, Sasan Vakili
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 Formulas oder SAT Modulo Theories. Es werden sowohl Techniken zur effizienten Überprüfung der Erfüllbarkeit angesprochen als auch praktische Anwendungen in der Programmverifikation vorgestellt.
Das Seminar wird als Blockseminar im Sommer 2022
durchgeführt.
Theoretische Informatik
Bitte wenden Sie sich an Fabian Meyer.
Disclaimer | Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |