ARTIST2 Graduate Course on: Automated Formal Methods for Embedded Systems 2008

June 16-24, 2008       DTU - Lyngby, Denmark organised and funded by ARTIST 


The course has three parts:

  • Part 1: First week (16/6 - 20/6)
    Lectures by Martin Fränzle and lab sessions. In the lectures, we will introduce a comprehensive set of state-based models as well as automatic procedures for their analysis. The exercise classes will complement this by providing hands-on experience with appropriate verification tools.
  • Part 2: Two days (23/6 - 24/6)
    (a) Lectures by Jüri Vain on model-based development and validation of multi-robot cooperative systems.
    (b) Lectures on selected topics (to be decided).
  • Part 3: 1.5 weeks project work (25/6 - 11/7)
    The students could take the course in two ways: The short version consisted of the first two parts, and long version including all parts.

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

Réalisation Axome - Création de sites Internet