Weekly outline
 
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!

Forum News forum
 
1
6 October - 12 October
Talk by Wolfgang Schreiner
Resource Formal Methods in Computer Science - A Survey of the Landscape

2
13 October - 19 October
  1. Talk by Franz Lichtenberger on Algebraic Specifications.
  2. Organization of presentations.
Resource A Plea for Using Algebraic Specifications ...

3
20 October - 26 October
Talk by Nikolaj Popov on his PhD work on verification of functional programs.
Resource Verification of Functional Programs

6
10 November - 16 November
  1. Report by Laura Kovacs on ISOLA 2004.
  2. Talk by Erik Pitzer on Concurrent Sequence Alignment.
  3. Talk by Wolfgang Schreiner on JML.
Resource Concurrent Sequence Alignment
Resource The Java Modeling Language JML

7
17 November - 23 November
Talk by Wolfgang Schreiner on JML (Continuation).

8
24 November - 30 November
  1. Talk by Franz Lichtenberger on Symposium on Teaching Formal Methods 2004
  2. Talk by Laura Kovacs on "Generating Loop Invariants for Imperative Program Verifcation in Theorema".
Resource Generating Loop Invariants in Theorema

9
1 December - 7 December
Talk of Felix Kossak on "Model checking".
Resource Model Checking - An Overview
Resource Model Checking - Past Experience at the SCCH

11
15 December - 21 December
Survey by Rebhi Baraka on Formal Methods for Web Services
Resource Web Services Composition by Process Algebra

14
5 January - 11 January
Wolfgang Schreiner: Extended Static Checking with ESC/Java2
Resource Extended Static Checking with ESC/Java2

15
12 January - 18 January
Franz Lichtenberger: Introduction to CASL, the Common Algebraic Specification Language
Resource Introduction to CASL

16
19 January - 25 January
Teimuraz Kutsia: Formal Methods for Security Protocols.
Resource Formal Methods for Security Protocols