|
Project Seminar Formal Methods in Computer Science (326.038, SS 2005)
Time: Wednesday, 10:30-12:00.
Place: Hagenberg Seminar Room (HA 105).
Start: March 9.
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.
To take part in the seminar, you have to register in the KUSSS system. Please also register in Moodle ("Login" at the upper right corner) such that you will receive per email all announcements that we post in the News Forum below.
| |
1 | March 9 - March 15 -
Presentation of Franz Lichtenberger: "Introduction to CASL cont'd: partial functions and subsorts"
- March 14: Presentation of Prof. Armin Biere: "SAT & QBF in Formal Verification"
|
|