Module label | Formal Methods |
Modulkürzel | inf410 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
Wehrheim, Heike (Module responsibility)
Lehrenden, Die im Modul (Prüfungsberechtigt)
|
Prerequisites | |
Skills to be acquired in this module | Formal methods are mathematically well-defined languages for the modelling of systems. The students get to know different formal methods and learn about their usage for the modelling and analysis of systems. For a given task, they choose adequate formalisms and their corresponding analysis technique, apply these and interpret the outcome of the analysis. **Professional competence** The students: - apply mathematical formalisms to the modelling of systems, - choose an adequate modelling formalism for some given task, - formally specify systems, - choose suitable analysis techniques, - interpret results of analysis runs. **Methodogical competence** The students: - carry out formal correctness proofs, - employ analysis tools, - define the semantics of formal specification languages. **Social competence** The students: - work in groups on tasks and explain solutions to each other, - discuss the advantages and disadvantages of modelling formalisms. The students: - organise themselves for the work in the module. |
Module contents | - Short recap of predicate logic, use of predicate logic in program verification, - Petri nets, - Process algebra CCS, - Timed automata, - Z. |
Literaturempfehlungen |
|
Links | |
Language of instruction | German |
Duration (semesters) | 1 Semester |
Module frequency | |
Module capacity | unlimited |
Reference text | Useful previous knowledge: Course Logic |
Modullevel / module level | MM (Mastermodul / Master module) |
Modulart / typ of module | Wahlpflicht / Elective |
Lehr-/Lernform / Teaching/Learning method | |
Vorkenntnisse / Previous knowledge |
Form of instruction | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 2 | SoSe oder WiSe | 28 | |
Exercises | 2 | SoSe oder WiSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Examination | Prüfungszeiten | Type of examination |
---|---|---|
Final exam of module | Weekly assignments, oral examination at the end |
Written or oral Exam |