 |
| 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 |
INBVAVOSTH1: VO Systemtheorie 1 (3 ECTS)
|
|
