Application-oriented Formal Verification Research Group at the Institute of Information Security and Dependability (KASTEL)

The Application-oriented Formal Verification research group is led by Prof. Bernhard Beckert and exists since 2009 at the Institute of Theoretical Informatics (ITI) and the KIT Department of Informatics. Since 2021, we are affiliated with the Institute of Information Security and Dependability (KASTEL), and we are still associated with the ITI.

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