[ INBIPUEFOMO ] UE Formal Models
|
|
|
| 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 |
| 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 2021W |
| Objectives |
Students possess knowledge of formal methods to model and specify systems in computer science.
|
| 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 |
Bi-weekly 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 |
http://fmv.jku.at/fm
|
| 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 |
|
