[ INBIPUEFOMO ] UE Formal Models
|
|
|
|
(*) 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 |
|