UPPAAL Verification Engine
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:
- Use the HELP menu of UPPAAL for detailed UPPAAL GUI and Language Reference
- Use the CONVERT SYNTAX under TOOLS menu for converting old syntax to UPPAAL 4.0