Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-56-72-K-7

Logic and Verification (Seminar) (2S, 4.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K 4.0 CP 92 h
2 S Seminar 28 h
(2S) 4.0 CP 28 h 92 h

Basedata

SWS 2S
CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. irreg.
Level [7] Master (Advanced)
Language [EN] English
Lecturers
Area of study [INF-ALG] Algorithmics and Deduction
Livecycle-State [NORM] Active

Possible Study achievement

  • Verification of study performance: written elaboration and presentation
  • Examination number (Study achievement): 65672 ("Logic and Verification (Seminar)")
  • Details of the examination (type, duration, criteria) will be announced at the beginning of the course.

Contents

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

Literature

Will be announced in the preliminary meeting.

Requirements for attendance (informal)

None

Requirements for attendance (formal)

None

References to Course [INF-56-72-K-7]

Module Name Context
[INF-56-72-M-7] Logic and Verification (Seminar) P: Obligatory 2S, 4.0 LP
Course-Pool Name
[INF-Alg_S-KPOOL-7] Seminars of the teaching area Algorithmics and Deduction