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

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.