Advanced Analysis Techniques

• 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 methods 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.

The course gives an overview of central techniques or newer results within formal modeling and analysis techniques for IT systems.

The course demands active participation that depending on the form of the course may be writing of a project report or independent presentation of research literature.

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

Students should have familiarity with formal methods.

Lectures by the teachers and/or participants, supplemented with project work.

The concrete choice of topics are decided before running the course and will be announced on the supplementary webpage.