Study guide of JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
DE
[
EN
]
.
Studienhandbuch-Login
User ID
Password
.
Menü
Overview
All curricula
External tools
KUSSS
Auwea NG
Positionsanzeige
Computational Mathematics
»
Electives
»
Supplementary Subjects
Inhalt
[
INBIPVOFOMO
]
VL
Formal Models
Versionsauswahl
Version
2024W
2022W
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
