Inhalt

[ INBIPUEFOMO ] UE Formal Models

Versionsauswahl
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B2 - Bachelor's programme 2. year Computer Science Martina Seidl 1 hpw Johannes Kepler University Linz
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 The content is in accordance with the corresponding lecture:

  • Reactive systems
  • finite state machines
  • Petri nets
  • process algebra
  • temporal logics
  • bounded model checking
  • Markov decision processes
Criteria for evaluation Multiple small tests and presentations of exercises or exam over the full course content (both jointly with the lecture).
Methods Presentation of exercises by students. Moodle self-assessments.
Language English
Study material Slides.
Changing subject? No
Further information Moodle course
Corresponding lecture (*)INBPCUEFOG3: UE Formale Grundlagen 3 (1,5 ECTS) bzw. INBIPUEFMOD: UE Formale Modelle (1,5 ECTS)
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment