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)

Basedata

CP, Effort 8.0 CP = 240 h
Position of the semester 1 Sem. in WiSe
Level [7] Master (Advanced)
Language [EN] English
Module Manager
Lecturers
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

Courses

Type/SWS Course Number Title Choice in
Module-Part
Presence-Time /
Self-Study
SL SL is
required for exa.
PL CP Sem.
4L INF-62-83-K-7
Applied Verification (Project)
P 56 h 184 h
AUSARB_P
- 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)..


Contents

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.

Literature

Will be provided in the course.

Requirements for attendance of the module (informal)

None

Requirements for attendance of the module (formal)

None

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