Special Topics

Software Verification

Spezielle Kapitel in Informatik (2KV) - Winter Semester 2018/2019


Armin Biere, Katalin Fazekas, Martina Seidl


The increasing complexity of modern computer systems makes the development of correct software very challenging. A successful approach to master this challenge is formal verification which proves that the implementation of a system fulfills its specification or which shows that the implementation is buggy.

In this course, we will cover state-of-the-art topics on software verification as used in huge software companies. Examples of topics are bounded model checking, symbolic execution.


  • This course will be blocked (see KUSSS).
  • There will be a lecture part providing the necessary background on theory and tools.
  • In a hands-on exercise part recent verification tools will be applied.

Course Material

Slides of the lecture will be provided.


For questions, contact Martina Seidl, Katalin Fazekas, or Armin Biere.