| In this seminar, we will investigate methods and software for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).
Each participant is expected to contributed in some way or another, e.g. to study e.g. one particular software system, install it at RISC, and give a presentation on it.
Of course, people just interested in listening to the presentations are also cordially invited!
| |
1 | 6 October - 12 October Talk by Wolfgang Schreiner
|
|
2 | 13 October - 19 October
- Talk by Franz Lichtenberger on Algebraic
Specifications.
- Organization of presentations.
|
|
3 | 20 October - 26 October Talk by Nikolaj Popov on his PhD work on verification
of functional programs.
|
|
6 | 10 November - 16 November
- Report by Laura Kovacs on ISOLA 2004.
- Talk by Erik Pitzer on Concurrent Sequence Alignment.
- Talk by Wolfgang Schreiner on JML.
|
|
7 | 17 November - 23 November Talk by Wolfgang Schreiner on JML (Continuation).
|
|
8 | 24 November - 30 November
|
|
9 | 1 December - 7 December Talk of Felix Kossak on "Model checking".
|
|
11 | 15 December - 21 December Survey by Rebhi Baraka on Formal Methods for
Web Services
|
|
14 | 5 January - 11 January Wolfgang Schreiner: Extended Static Checking with ESC/Java2
|
|
15 | 12 January - 18 January
Franz Lichtenberger: Introduction to CASL, the Common Algebraic Specification Language
|
|
16 | 19 January - 25 January Teimuraz Kutsia: Formal Methods for Security Protocols.
|
|