| |
Project Seminar "Formal Methods II" (326.090, SS 2010)
Time : Wednesday, 12:30-14:00 Place: Hagenberg Seminar Room Start: March 10, 2010
If you prefer another time or place (JKU campus), please contact Wolfgang Schreiner.
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 enrol in the KUSSS system. If you also login in Moodle and register as a course participant, you will receive per email all messages posted in the News forum.
| |
| | 10 March - 16 March March 10
- Discussion of organization and seminar topics
| 
|
| | 24 March - 30 MarchMarch 24
- Wolfgang Schreiner: The RISC Program Explorer (First status report)
|
|
