Wednesday, June 17, 2009
|
Morning: |
Introduction to the course, modelling using Timed Automata, and the Uppaal System |
Afternoon: |
Computation tree logic (CTL), Timed CTL and model checking |
|
|
Thursday, June 18, 2009
|
Morning: |
Priced Timed Automata and Uppaal CORA |
Afternoon: |
Timed Games and Uppaal TIGA |
|
|
Friday, June 19, 2009
|
Morning: |
Model-based testing and Uppaal TRON |
Afternoon: |
Lab exercises |
|
|
Monday, June 22, 2009
|
Morning: |
Model-Based Development and Validation of Multirobot Cooperative System |
Early afternoon: |
Lab exercises |
Late afternoon: |
SMT solvers for Testing, Program Analysis and Verification at Microsoft, Nikolaj Bjørner |
|
|
Tuesday, June 23, 2009
|
Morning: |
Model-Based Development and Validation of Multirobot Cooperative System |
Afternoon: |
Lab exercises |
|
|
Wednesday, June 24, 2009
|
Morning: |
Modelling and analysis of systems with resource constraints (I) |
Afternoon: |
MoVES: A tool for analysis of multi-core platforms |
|
|
Thursday, June 25, 2009
|
Morning: |
Modelling and analysis of systems with resource constraints (II) |
Afternoon: |
A logical approach to quantitative reasoning about resources |