Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-56-72-M-7

Logic and Verification (Seminar) (M, 4.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-56-72-M-7 Logic and Verification (Seminar) 4.0 CP (120 h)


CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. irreg.
Level [7] Master (Advanced)
Language [EN] English
Module Manager
Area of study [INF-ALG] Algorithmics and Deduction
Reference course of study [INF-88.79-SG] M.Sc. Computer Science
Livecycle-State [NORM] Active


Type/SWS Course Number Title Choice in
Presence-Time /
SL SL is
required for exa.
PL CP Sem.
2S INF-56-72-K-7
Logic and Verification (Seminar)
P 28 h 92 h
- PL1 4.0 irreg.
  • About [INF-56-72-K-7]: Title: "Logic and Verification (Seminar)"; Presence-Time: 28 h; Self-Study: 92 h
  • About [INF-56-72-K-7]: The study achievement "[AUSARB_P] written elaboration and presentation" must be obtained.

Evaluation of grades

The module is not graded (only study achievements)..


Selected topics from logic and verification, e.g:
  • Semantics of imperative programming languages
  • Special specification techniques
  • Algorithmic problems in the field of verification
  • Operationalization of formal specification techniques

Competencies / intended learning achievements

  • Ability to familiarize with a special topic in the field of specification or verification (original literature, journals)
  • Ability to present a specific topic in a comprehensible way using electronic media
  • Ability for technical discussion


Will be announced in the preliminary meeting.

Requirements for attendance of the module (informal)


Requirements for attendance of the module (formal)


References to Module / Module Number [INF-56-72-M-7]

Course of Study Section Choice/Obligation
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective