Spezielle Kapitel in Informatik (2KV) - Winter Semester 2018/2019
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.
Slides of the lecture will be provided.