326.099, Wednesday 12:30-14:00, Seminar Room Castle Hagenberg, Start: March 9, 2016
If you prefer another time or place (e.g. at the JKU campus), contact me per email.
In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.