ESSLLI 2003 Course Transparencies

by Willem-Paul de Roever

• The Inductive Assertion Method [PDF] (1.8 MB)
• Compositional Reasoning
  • Part 1 [PDF] (935 KB)
  • Part 2 [PDF] (1.7 MB)
  • Part 3 [PDF] (290 KB)
  • Part 4 [PDF] (765 KB)
  • Part 5 [PDF] (416 KB)
• Assume-Guarantee-Based Reasoning [PDF] (1.1 MB)
• The Communication-Closed-Layers Paradigm [PDF] (2.4 MB)
• Concurrent Verification: Why? And How? [PDF] (2.2 MB)