Project Seminar Formal Methods in Computer Science (SS 2005)
Lecturer: Wolfgang Schreiner Lecturer: Franz Lichtenberger
|
In this seminar, we explore current research
and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...) |