Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-62-83-K-7

Applied Verification (Project) (4L, 8.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K 8.0 CP 184 h
4 L Programming training course 56 h
(4L) 8.0 CP 56 h 184 h


CP, Effort 8.0 CP = 240 h
Position of the semester 1 Sem. in WiSe
Level [7] Master (Advanced)
Language [EN] English
Area of study [INF-ES] Embedded Systems and Robotics
Livecycle-State [NORM] Active

Possible Study achievement

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


The goal of this project is to apply verification systems to various case studies. In particular, you will work on the following topics/tools:
  • symbolic model checking using NuXmv
  • induction- and SAT-based model-checking using NuXmv
  • verification of timed systems using UPPAAL
  • software model-checking using SPIN
  • software verification using Boogie and GRASShopper
  • verification using machine learning (ICE/Horn-ICE)


Will be provided in the course.

Requirements for attendance (informal)


Requirements for attendance (formal)


References to Course [INF-62-83-K-7]

Module Name Context
[INF-62-83-M-7] Applied Verification (Project) P: Obligatory 4L, 8.0 LP
Course-Pool Name
[INF-ES_P-KPOOL-7] Projects of the teaching area Embedded Systems and Robotics