TU Wien:Formale Methoden der Informatik VU (Egly)/Pruefung (VU neu) 2011-01-28

Aus VoWi
Zur Navigation springen Zur Suche springen

Aus dem Thread im Inf-Forum: https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?85638-After-Test-Thread-28.1-%28neu%29


  1. Semi-Decidability: Eigentlich analog zum Beispiel auf den Folien (Reachable Code)
  2. Tseitin: Wie auf den Folien
  3. DLL:
  4. Egly-Homework Bsp
  5. Annotation Calculus
  6. TPL um loop erweitern, sp,wp,wlp definieren und HoareCalculus
  7. CTL vs LTL
  8. Agorithmus zu AGp: 1. Label alle states mit AGp, die p enthalten. 2. Lösche die labels falls ein succesor des states kein AGp gelabelt hat. Diesen Schritt wiederholen
  9. Bisumaltion (Hier war ein Algo zu finden, der Bisimulation zwischen zwei Models abbprüft, nicht zu verwechseln mit dem anderen Übungsbeispiel, wo die Relation aufzustellen war.)
  10. LTS und abstraction
Abgerufen von „https://vowi.fsinf.at/index.php?title=TU_Wien:Formale_Methoden_der_Informatik_VU_(Egly)/Pruefung_(VU_neu)_2011-01-28&oldid=143805“