Project Seminar Formal Methods in Computer Science (SS 2009)

In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).