Advanced Analysis TechniquesTechnical University of DenmarkGeneral 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: A student who has met the objectives of the course will be able to:
Contents: 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. |
|