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
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