Menü
Positionsanzeige
Inhalt

[ INMIPUEMCHK ] UE (*)Model Checking
Versionsauswahl
Es ist eine neuere Version 2022W dieser LV im Curriculum Master's programme Business Informatics 2023W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS M1 - Master's programme 1. year Computer Science Florian Lonsing 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computer Science (discontinuing) 2012W
Objectives (*)The course focuses on understanding algorithms and data structures to analyze state-based formal models and their implementation.
Subject (*)Verification vs Synthesis, Simulation of Automata, Abstraction and Refinement,

Bisimulation, Automata Minimization, Explicit State Reachability Analysis, State Hashing, Partial Order Reduction, Fair Cycle Detection, Binary Decisions Diagrams (BDDs), And-Inverter Graphs (AIGs).

Criteria for evaluation
Language English
Changing subject? No
Corresponding lecture (*)INBVAUESTH1: UE Systemtheorie 1 (1,5 ECTS)
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment