Test Og Verifikation 2006

Lecture 11 (April 7, 2006, morning)

• 8:15 Introduction to StateCharts by Andrzej Wasowski
• 10:00 Tool demo by Ulrik Nyman
• 10:30 Exercises

Lecture 12 (April 7, 2006, afternoon)

• 12:30 Compositional Backwards Reachability by Ulrik Nyman
• 13:00 Return to exercises