Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Application-oriented Formal Verification

The research group on Application-oriented Formal Verification led by Prof. Bernhard Beckert exists since 2009 at the Institute of Theoretical Informatics and the KIT Department of Informatics.

Our main research topic is the practical application of logic and formal methods for the specification and verification of software. In particular, we address the following application areas:

  • verification of functional properties and software dependability
  • verification of relational properties and software evolution
  • verification of information-flow properties and IT security
  • verification of social choice algorithms and voting rules

News

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.

Contact
Institute of Theoretical Informatics

Am Fasanengarten 5
76131 Karlsruhe
Germany
Phone: +49 721 608-44023
Fax:    +49 721 608-44021
Email: simone.meinhartHfu8∂kit.edu

Directions