Single-Course English 5 ECTS

Advanced Analysis Techniques

Overall Course Objectives

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

Learning Objectives

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

Course Content

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.

Recommended prerequisites

Students should have familiarity with formal methods.

Teaching Method

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.

See course in the course database.





3 weeks




DTU Lyngby Campus

Course code 02913
Course type PhD
Semester start Week 23
Semester end Week 26
Days Mon-fri 8:00-17:00

10.600,00 DKK