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 Armin Biere 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2013W
Objectives Learn formal methods to model and specify systems in computer science.
Subject Hoare logic, reactive systems, finite state machines, Petri net, process algebra, temporal logic.
Criteria for evaluation
Language English
Changing subject? No
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