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