Studiengänge
| Abschluss |
Studiengang |
Semester |
Leistungspunkte |
| Master |
Computer Science for Digital Media (M.Sc.), PV 18
|
-
|
4,5
|
| Master |
Computer Science for Digital Media (M.Sc.), PV 17
|
-
|
4,5
|
| Master |
Digital Engineering (M.Sc.), PV 19
|
-
|
6
|
| Master |
Digital Engineering (M.Sc.), PV 17
|
-
|
6
|
| Master |
Computer Science for Digital Media (M.Sc.), PV 2020
|
-
|
6
|
| Master |
Human-Computer Interaction (M.Sc.), PV19
|
-
|
6
|
| Master |
Human-Computer Interaction (M.Sc.), PV17
|
-
|
6
|
| Master |
Human-Computer Interaction (M.Sc.), PV15
|
-
|
6
|
Inhalt
| Beschreibung |
Formal methods are rigorous techniques for the mathematical analysis of software and hardware systems. This course introduces aspects of formal methods with applications to software engineering problems.
The topics covered in the course include:
- Introduction to Formal Methods
- Formal methods tools, e.g.,
- SMT solvers on the example of Z3
- Relational models and the Alloy Analyzer
- Model Checking using SMV
- Applications of formal methods in practice
After completion students will be able to
- Model problems in different formalisms
- Analyze software models using formal method tools
- Evaluate formal methods for software engineering problems
|
| Literatur |
Slides, selected recordings, and links to literature will be shared during the lecture |
| Voraussetzungen |
Digital Engineering students must have passed the Software Engineering course |
| Leistungsnachweis |
Participation in exercises
Marked homework project including a presentation |
| Zielgruppe |
M.Sc. Computer Science for Digital Media
M.Sc. Digital Engineering
M.Sc. Human-Computer Interaction |
