| Detailed information |
| Original study plan |
Bachelor's programme Computer Science 2024W |
| Objectives |
Students possess knowledge of formal methods to model and specify systems in computer science. After this course, students are able to
- understand system descriptions based on formal models
- concisely describe sytstems with formal models
- solve simple verification and planning problems with formal models
|
| Subject |
- reactive systems
- finite state machines
- Petri nets
- process algebra
- temporal logics
- bounded model checking
- planning
- Markov decision processes
|
| Criteria for evaluation |
Multiple small tests and presentations of exercises or exam over the full course content (both jointly with the corresponding exercise class).
|
| Methods |
Slide-based presentation plus exercises.
|
| Language |
English |
| Study material |
Slides plus lecture videos will be provided.
Further material will be announced each semester.
|
| Changing subject? |
No |
| Further information |
Moodle course
|
| Corresponding lecture |
(*)INBPCVOFOG3: VO Formale Grundlagen 3 (3 ECTS) bzw. INBIPVOFMOD: VO Formale Modelle (3 ECTS)
|
