inf410 - Formal Methods (Complete module description)
Module label | Formal Methods |
Module code | inf410 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Applicability of the module |
|
Responsible persons |
|
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.
|
Module contents |
|
Recommended reading | |
Links | |
Language of instruction | German |
Duration (semesters) | 1 Semester |
Module frequency | every second summer term |
Module capacity | unlimited |
Teaching/Learning method | V+Ü |
Previous knowledge | Useful prerequisites: set theory, relations and functions, propositional and predicate logic, finite automata |
Type of course | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 2 | see frequency of module offering | 28 | |
Exercises | 2 | see frequency of module offering | 28 | |
Total module attendance time | 56 h |
Examination | Prüfungszeiten | Type of examination |
---|---|---|
Final exam of module | at the end of the term |
Written or oral Exam |