Test Og Verifikation 2008

Lecture 11 (April 21st, 2008, morning)

• 8:15 Introduction to StateCharts
• 10:00 Tool demo
• 10:30 Exercises

Lecture 12 (April 22nd, 2008, morning)

• 8:15 Compositional Backwards Reachability
• 9:00 Return to exercises