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


Students Develop Open Source Teaching Software

In a new teaching laboratory, tools and programs are being developed for computer science teaching - developers orient themselves directly towards the needs of pupils and teachers.

In order to master the challenges of digitization as adults, pupils need a broad basic education in computer science. However, teachers often lack the right tools to teach subjects such as software development or IT security. In the new open-source teaching software laboratory at the Karlsruhe Institute of Technology (KIT), students will gain practical experience in the development of open-source software and at the same time develop materials for teaching computer science.

Read more ...

New PhD Sarah Grebing on 2019-02-07

Sarah Grebing very successfully defended her PhD on 2019-02-07. Her dissertation is on "User Interaction in Deductive Interactive Program Verification".

Cordial congratulations from all her colleagues!

Institute of Theoretical Informatics

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