ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2009

June 17-25, 2009       DTU - Lyngby, Denmark organised and funded by ARTIST 

Schedule


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

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet