Modulcode:	Inf-MP-FSV
Englische Bezeichnung:	Master project - Formal Software Verification
Modulverantwortliche(r):	Prof. Dr. Dirk Nowotka
Turnus:	unregelmäßig (SS14 WS14/15 SS15 WS16/17 WS17/18 SS18 WS18/19)
Präsenzzeiten:	4PÜ
ECTS:	12
Workload:	360 Std.
Dauer:	ein Semester
Modulkategorien:	Prakt (MSc Inf)
Lehrsprache:	Englisch
Voraussetzungen:

Kurzfassung:

This module aims at the application and implementation of advanced software verification methods. Those methods will be tested on large verification problems.

Lernziele:

The students are being made familiar with techniques and methods to formally analyze software and systems. They learn how to apply such methods to real world problems and how to develop and integrate new methods into existing tools.

Lehrinhalte:

The project consists of a literature research, the written presentation of the students findings and an implementation of verification techniques. A final talk about the project will be given.

Weitere Voraussetzungen:

• Basic knowledge in logics and automata theory.
• Programming skills

Prüfungsleistung:

• Written presentation
• Developed software
• Oral presentation

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

Will be provided as needed.

Verweise:

http://zs.uni-kiel.de

Kommentar: