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).
|