Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-56-01-K-6

Program Analysis (3V+1U, 6.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K Lecture with exercise classes (V/U) 6.0 CP 124 h
3 V Lecture 42 h
1 U Exercise class (in small groups) 14 h
(3V+1U) 6.0 CP 56 h 124 h


CP, Effort 6.0 CP = 180 h
Position of the semester 1 Sem. irreg. WiSe
Level [6] Master (General)
Language [EN] English
Area of study [INF-ALG] Algorithmics and Deduction
Livecycle-State [NORM] Active

Possible Study achievement

  • Verification of study performance: proof of successful participation in the exercise classes (ungraded)


  • Lattice theory and static analysis
  • Abstract interpretation
  • Predicate abstraction and abstraction refinement
  • Interprocedural dataflow analysis
  • Deductive verification
  • Invariant generation
  • Dynamic analysis
  • Weakest preconditions
  • Automatic test case generation
  • Symbolic execution


Will be announced during the lecture.

Requirements for attendance (informal)


Requirements for attendance (formal)


References to Course [INF-56-01-K-6]

Module Name Context
[INF-56-01-M-6] Program Analysis P: Obligatory 3V+1U, 6.0 LP
Course-Pool Name
[INF-Alg_V-KPOOL-6] Lectures of the teaching area Algorithmics and Deduction