Project Seminar Formal Methods in Computer Science (SS 2008)
You do not have the permission to view discussions in this forum
Weekly outline
-
Time: Wednesday, 10:30-12:00 (time change).
Room: HA 105 (Hagenberg seminar room).
Start: March 12, 2008.
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.
-
- Wolfgang Schreiner: Reasoning about Programs as State Relations
- Wolfgang Schreiner: Reasoning about Programs as State Relations
-
- Wolfgang Schreiner: Reasoning about Programs with Interruptions
- Wolfgang Schreiner: Reasoning about Programs with Interruptions
-
- Gabor Guta: Conference Reports (ECOOP 2007, ETAPS 2008).
- Gabor Guta: Conference Reports (ECOOP 2007, ETAPS 2008).
-
- Wolfgang Schreiner: Reasoning about Programs with Interruptions (continuation)
-
- Gabor Guta: A Light-Weight Process for Code Generation.
-
- Wolfgang Schreiner: Programs with Undefined Expressions
- Wolfgang Schreiner: Programs with Undefined Expressions
-
- Andreas Müller: VDM
- Johannes Watzl: Investigations on Improving the SEE-GRID Optimization Algorithm