Project Oriented Subject

(Projektorientierte Wahlfachgruppe)

Formal Verification


This selection of project oriented subjects is about applied formal methods in the context of hardware and software verification. The focus is on automatic techniques, such as SAT, model checking, stochastic local search, and automated theorem proving.

The goal of these courses is to provide the necessary background for applying state-of-the-art technology and tools to real verification problems. Moreover, by understanding the algorithms behind these tools, the students are put into a position to optimize and generalize these techniques for specific application scenarios.