FMSEM05W: Resources

Week	Name	Summary
1	The Theorem Proving Environments Isabelle and Coq: A Personal Experience

2	Practical Applications of SAT

3	Querying Mathematical Service Descriptions

6	Transparencies 1 to 4 (1368 KB)
	Transparencies 5 to 8 (1513 KB)
	Transparencies 9 to 12 (1579 KB)

7	Stateful services & Service Orchestration

8	Transparencies 13 and 14 (1244 KB)
	Transparencies 15 and 16 (1024 KB)
	Transparencies 17 to 20 (1831 KB)
	Transparencies 21 to 24 (1312 KB)
	Transparencies 25 to 28 (1750 KB)
	Transparancies 29 to 32 (1569 KB)
	Transparencies 33 to 36 (1658 KB)

9	The RISC Proof Navigator - A First Status Report

15	Transparencies 37 to 40 (2016 KB)
	Transparencies 41 to 44 (1765 KB)
	Transparencies 45 to 48 (1859 KB)
	Transparencies 49 to 52 (2163 KB)

16	Bounded Model Checking

17	Counterexample-guided Abstraction Refinement