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

Basedata

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

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)

Literature

Will be provided in the course.

Requirements for attendance (informal)

None

Requirements for attendance (formal)

None

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