Detailed information |
Original study plan |
Bachelor's programme Computer Science 2021W |
Objectives |
Students possess knowledge of formal methods to model and specify systems in computer science.
|
Subject |
Reactive systems, finite state machines, Petri nets, process algebra, temporal logics, bounded model checking, Markov decision processes.
|
Criteria for evaluation |
Bi-weekly 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 |
http://fmv.jku.at/fm
|
Corresponding lecture |
(*)INBPCVOFOG3: VO Formale Grundlagen 3 (3 ECTS) bzw. INBIPVOFMOD: VO Formale Modelle (3 ECTS)
|