Model-Based Verification, Optimization,

Synthesis and Performance Evaluation

of Real-Time Systems

using UPPAAL 

AAAAAAAAA

Alexandre David & Kim Guldstrand Larsen
CISS, Aalborg University, DENMARK  

Shanghia, August 29-30, 2013

Slides

1. Timed Automata and UPPAAL
2. Symbolic Verification and UPPAAL Engine
3. Priced Timed Automata and Timed Games
4. Stochastic Timed Automata and Statistical Model Checking

Material available here!

Exercises available here!