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.
- Exercise 23: How much can we reach?
CISS PRIZE: to the person or group that will first provide a solution and convincing explanation!!- Exercise 19: Train-Gate Debugging
- Exercise 2: Coffee machine
- Exercise 5: Veritication Options
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