Wie lautet der Ausgangspunkt der TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Zustand $s$ in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Schritt in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Ablauf in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein System in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Zustandsformel in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Schrittformel in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist der Zusammenhang zwischen Zustands- und Schrittformeln in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Suffix in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Ablaufformel in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ermöglicht Stottern in TLA?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist Stotteräquivalenz definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann bezeichnet man eine Menge von Abläufen als stotterinvariant?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann bezeichnet man eine Schrittformel $\Phi$ als aktiviert in einem Zustand $s$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was beschreibt $\mathit{WF}_f(\Phi)$?
($f$ ist ein Term, $\Phi$ eine Schrittformel, $\mathit{WF}_f(\Phi)$ eine Ablaufformel)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was beschreibt $\mathit{SF}_f(\Phi)$?
($f$ ist ein Term, $\Phi$ eine Schrittformel, $\mathit{SF}_f(\Phi)$ eine Ablaufformel)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann gilt: $\Phi_2$ implementiert $\Phi_1$ und wie kann das einfach umgesetzt werden?
($\Phi_1,\Phi_2$ sind Ablaufformeln)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie kann Komposition von zwei Ablaufformeln $\Phi_1$ und $\Phi_2$ realisiert werden?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.