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