The students will learn one or more the advanced techniques for program analysis and model checking - thereby complementing their previous knowledge of analysis techniques and giving them the background needed for judging which approach is adequate in a given setting.

• explain the basic concepts;
• find small examples upon which to determine the precise workings of the methods covered;
• make minor adaptions to selected parts of the methods covered;
• discuss the methods covered and clearly indicate similarities and dissimilarities;
• relate the method covered including to evaluate their strengths and weaknesses;
• evaluate a scientific paper as submitted to a conference;
• communicate his/her results in a clear and precise manner, using a standard format for technical reports;
• plan and perform a public presentation addressing a given target audience and to provide any missing background or adapt the presentation to scenarios previously considered.

The course usually consists of two parts; both will vary from year to year: The first part covers advanced approaches to static analysis and/or model checking. The second part covers recent research papers within an internationally hot research area.

The students are required to solve a number of exercises in the first part of the course and to present papers in the second part of the course.

Variations of this plan are possible if better suited to the choice of topics.