Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-62-83-M-7

Applied Verification (Project) (M, 8.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-62-83-M-7 Applied Verification (Project) 8.0 CP (240 h)


CP, Effort 8.0 CP = 240 h
Position of the semester 1 Sem. in WiSe
Level [7] Master (Advanced)
Language [EN] English
Module Manager
Area of study [INF-ES] Embedded Systems and Robotics
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.
4L INF-62-83-K-7
Applied Verification (Project)
P 56 h 184 h
- PL1 8.0 WiSe
  • About [INF-62-83-K-7]: Title: "Applied Verification (Project)"; Presence-Time: 56 h; Self-Study: 184 h
  • About [INF-62-83-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)..


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)

Competencies / intended learning achievements

Based on the theoretical knowledge of verification methods, students learn the use of different verification systems.

After successfully completing the module, students will be able to

  • to apply different verification systems,
  • to search for relevant literature on the selected area,
  • to become familiar with a scientifically challenging topic,
  • to take a well-founded and critical position on parts of scientific results,
  • to present the results in a formally correct, structured and focused way,
  • to follow a scientific presentation and express relevant questions,
  • to prepare a scientific talk on selected topics,
  • to present and discuss a scientific question in English,
  • to take responsibility and, if necessary obtain specific information, define priorities, derive tasks, develop solutions and monitor the own progress.


Will be provided in the course.

Requirements for attendance of the module (informal)


Requirements for attendance of the module (formal)


References to Module / Module Number [INF-62-83-M-7]

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