Inhalt

[ INMIPUEMCHK ] UE Model Checking

Versionsauswahl
Es ist eine neuere Version 2022W dieser LV im Curriculum Masterstudium Wirtschaftsinformatik 2023W vorhanden.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS M1 - Master 1. Jahr Informatik Florian Lonsing 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Masterstudium Informatik (auslaufend) 2012W
Ziele The course focuses on understanding algorithms and data structures to analyze state-based formal models and their implementation.
Lehrinhalte 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).

Beurteilungskriterien
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Äquivalenzen INBVAUESTH1: UE Systemtheorie 1 (1,5 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer 35
Zuteilungsverfahren Direktzuteilung