Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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

FoMSESS Jahrestagung 2019

Am 29./30.11.2019 findet an unserem Lehrstuhl das 15. Treffen der GI-Gruppe FoMSESS (Formale Methoden und Software Engineering für sichere Systeme) statt. Das Treffen soll dem Austausch auf dem Forschungsgebiet dienen und insbesondere Nachwuchswissenschaftlern die Möglichkeit geben, ihre Arbeiten in einem informellen Rahmen vorzustellen.

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