[ INBIPVOFOMO ] VL Formal Models

(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B2 - Bachelor's programme 2. year Computer Science Martina Seidl 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2022W
Objectives Students possess knowledge of formal methods to model and specify systems in computer science.
  • 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
Corresponding lecture (*)INBPCVOFOG3: VO Formale Grundlagen 3 (3 ECTS) bzw. INBIPVOFMOD: VO Formale Modelle (3 ECTS)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment