vrs dira vrs_exercise rosy ltl vrs_exam exam ctl parallel_computing processor_architecture se1 automata omega_automata mbes bdd sequent-calculus studiengang_reform mu-calculus exists-algorithm studiengangswechsel ltl_model_checking greatest-simulation tool curriculum_change predicate_logic vrs_lecture cmd floating_point_arithmetic compose-algorithm equivalance #parallel_computing minic i2sc simplex format temporal kripke bdd2zdd curriculum_update hrs local-model-checking infinite_path zdd2fdd branch-bound dynamic_scheduling pre-requisite thesis functional state-machine uml-diagram embedded-system ml1 registration pipeline_conflicts vector_computers modulo_scheduling static_scheduling organisation b_complement_multiplication constrain-algorithm conditional bdd2fdd #pram ite programming abacus parallel induction breakpoint acceptance simulation shannon important zdd group master_plan bachelor study rhrk