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 |
|
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:
Methodogical competence The students:
Social competence The students:
Self-competence The students:
|
Module contents |
|
Literaturempfehlungen |
|
Links | |
Language of instruction | German |
Duration (semesters) | 1 Semester |
Module frequency | every summer term |
Module capacity | unlimited |
Reference text | |
Modullevel / module level | |
Modulart / typ of module | |
Lehr-/Lernform / Teaching/Learning method | V + Ü |
Vorkenntnisse / Previous knowledge | Useful previous knowledge: Course Logic |
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 |