Modulcode: | Inf-MS-FSV |
Englische Bezeichnung: | Master Seminar - Formal Software Verification |
Modulverantwortliche(r): | Prof. Dr. Dirk Nowotka |
Turnus: | unregelmäßig (WS16/17 WS17/18 WS18/19 WS19/20 WS20/21 WS21/22 WS23/24) |
Präsenzzeiten: | 2S |
ECTS: | 5 |
Workload: | 30 h seminar, 120 h self studies |
Dauer: | ein Semester |
Modulkategorien: | MSc-Inf-Sem (MSc Inf (21)) Sem (MSc Inf (15)) |
Lehrsprache: | Englisch |
Voraussetzungen: |
Selected topics from the area of formal software verification are discussed. The students are expected to choose from a selection of topics. Journal articles, book chapters or other short texts are provided. Building on that material, a written assignment and a talk of 30 mins together with a short discussion provides will be presented.
The students know and can apply several formal methods for software verification, for example:
Basics in logics und automata
The literature research and the preparation of the talk and the written summary should mostly be done independently. The assistants of the Dependable Systems group will provide conceptual and technical help, if needed.
The basic literature will be handed out at the beginning of the seminar.