Module label | Formal Methods |
Module abbreviation | inf410 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Applicability of the module |
|
Responsible persons |
|
Prerequisites | Useful previous knowledge: Course Logic |
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 |
|
Recommended reading |
|
Links | |
Language of instruction | German |
Duration (semesters) | 1 Semester |
Module frequency | every summer term |
Module capacity | unlimited |
Reference text | |
Module level | |
Type of module | |
Teaching/Learning method | 1VL + 1Ü |
Previous knowledge | Useful previous knowledge: Course Logic |
Type of course | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 2 | SoSe oder WiSe | 28 | |
Exercises | 2 | SoSe oder WiSe | 28 | |
Total module attendance time | 56 h |
Examination | Examination times | Type of examination |
---|---|---|
Final exam of module | Weekly assignments, oral examination at the end |
Written or oral Exam |