Decision Procedures and SMT
Spezielle Kapitel in Informatik (2KV) - Winter Semester 2016/2017
The increasing complexity of modern computer systems makes the development of correct software and hardware 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. Many verification approaches use automatic reasoning techniques and decision procedures of various logical formalisms as backends.
In this course, we will cover state-of-the-art topics on automated reasoning and decision procedures in the context of formal verification and their applications.
The dates for presentations will still need to be fixed.