Test and Verification

Lecture 3


UPPAAL Verification Engine
Verification Options
Modelling Patterns

Real-Time Planning & Scheduling (preliminary)


Behrmann, David, Larsen: A Tutorial on UPPAAL.

Bengtson, Wang: Timed Automata: Semantics, Algorithms and Tools

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi: UPPAAL Implementation Secrets. In Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02), 2002.



If time permits reconsider the exercises from Lecture 2 that you may still be lacking!  In particular Exercise 23 and 24.

Some useful hints: