FORMSEM04: Resources

Week	Name	Summary
1	Formal Methods in Computer Science - A Survey of the Landscape

2	A Plea for Using Algebraic Specifications ...

3	Verification of Functional Programs

6	Concurrent Sequence Alignment
	The Java Modeling Language JML

8	Generating Loop Invariants in Theorema	Generating Loop Invariants in Theorema

9	Model Checking - An Overview	Model Checking - An Overview
	Model Checking - Past Experience at the SCCH	Model Checking - Past Experience at the SCCH

11	Web Services Composition by Process Algebra	Web Services Composition by Process Algebra

14	Extended Static Checking with ESC/Java2	Extended Static Checking with ESC/Java2

15	Introduction to CASL

16	Formal Methods for Security Protocols