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

 

Neural Networks in Formal Verification

In the coming winter term, we will be offering the seminar Neural Networks in Formal Verification: Website (incl. registration link)

This seminar aims to provide an overview of the current research landscape in formal verification and the scope of neural networks in this domain. Specifically, it will explore two key aspects:


  1. (1) Verification of Neural Networks (techniques, methods, and tools to ensure that neural networks operate safely, reliably, and as intended)

  2. (2) Neural Networks for Verification (utilizing AI and machine learning techniques to enhance traditional verification methods)


We will be offering various seminar topics on both research directions (list currently still incomplete, please let us know if you are interested but looking for a different topic). If you want to participate in the seminar please register via the WiWi-Portal. The seminar will be in English.


More information ...