Department of Computing Science |
6 KP |
|
Module components |
Semester courses |
Examination |
Lecture
|
-
2.01.410 -
- Prof. Dr. Heike Wehrheim
- Lara Bargmann
- Cedric Richter
Wednesday: 14:15 - 15:45, fortnightly (from 27/04/22), VL Wednesday: 14:15 - 15:45, fortnightly (from 20/04/22), Ü Thursday: 14:15 - 15:45, weekly (from 21/04/22), VL
|
|
Exercises
|
-
2.01.410 -
- Prof. Dr. Heike Wehrheim
- Lara Bargmann
- Cedric Richter
Wednesday: 14:15 - 15:45, fortnightly (from 27/04/22), VL Wednesday: 14:15 - 15:45, fortnightly (from 20/04/22), Ü Thursday: 14:15 - 15:45, weekly (from 21/04/22), VL
|
|
Hinweise zum Modul |
Prerequisites |
Useful previous knowledge: Course Logic |
Reference text |
|
Prüfungszeiten |
Weekly assignments, oral examination at the end |
Module examination |
Written or oral Exam |
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.
Self-competence
The students:
- organise themselves for the work in the module
|
|