Anwendungsorientierte Formale Verifikation

Der Lehrstuhl für Anwendungsorientierte formale Verifikation, geleitet von Prof. Bernhard Beckert, existiert seit 2009 am Institut für Theoretische Informatik und der KIT-Fakultät für Informatik.

Unser Forschungsgebiet ist die praktische Anwendung von Logik und Formalen Methoden für die Spezifikation und Verifikation von Software. Insbesondere beschäftigen wir uns mit den folgenden Anwendungsgebieten:

  • Verifikation von funktionalen Eigenschaften und Software-Verlässlichkeit
  • Verifikation von relationalen Eigenschaften und Software-Evolution
  • Verifikation von Informationsfluss-Eigenschaften und IT-Sicherheit
  • Verifikation von Social-Choice-Algorithmen und Wahlverfahren

Neuigkeiten

Neue Themen für Abschlussarbeiten

Wir bieten eine große Bandbreite an neuen Themen für Bachelor- und Masterarbeiten in Feldern wie PLC-Verifikation, Erweiterungen zum KeY-Verifikationsansatz, Formalisierung/Verifikation von Sozialwahl-Eigenschaften, und vieles mehr an. Neben den ausgeschriebenen Themen sind wir offen für Ihre Ideen innerhalb unserer Forschungsgebiete. Wenn Sie Interesse haben, kontaktieren Sie einfach die betreffenden Mitarbeiter unserer Forschungsgruppe.

Themen und Forschungsfelder für Abschlusssarbeiten

Kontakt
Institut für Theoretische Informatik

Am Fasanengarten 5
76131 Karlsruhe
Deutschland
Tel.: +49 721 608-44023
Fax: +49 721 608-44021
E-Mail: simone.meinhartHfu8∂kit.edu

Anreise