Inhalt

[ INBIPVOFOMO ] VL Formal Models

Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelor's programme Artificial Intelligence 2024W vorhanden.
(*) 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.
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)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment