Was bedeutet das Hoare-Tripel $\{P\}\ S\ \{Q\}$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bedeutet das Hoare-Tripel $\{P\}\ S\ \{\Downarrow Q\}$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was beschreiben die Prädikate in der Pre- und Postcondition eines Hoare-Tripels?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche Arten von Variablen werden im Hoare-Kalkül unterschieden?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das skip-Command in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für ein Assignment in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für die Composition in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das if-Command in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das while-Command in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Consequence-Regel in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das ein Assignment in einem Array in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für einen nichtrekursiven Prozeduraufruf in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für einen rekursiven Prozeduraufruf in partieller Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für ein Assignment in totaler Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das skip-Command in totaler Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für die Composition in totaler Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das if-Command in totaler Korrektheit
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das while-Command in totaler Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Consequence-Regel in totaler Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für einen nichtrekursiven Prozeduraufruf in totaler Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für einen rekursiven Prozeduraufruf in totaler Korrektheit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann gilt $\models \{P\}\ S\ \{Q\}$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann gilt $\vdash \{P\}\ S\ \{Q\}$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bedeutet Korrektheit (im Kontext des Hoare-Kalküls)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bedeutet Vollständigkeit (im Kontext des Hoare-Kalküls)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist die weakest Precondition $wpr(S,Q)$ definiert?
($S$ ist ein Programm, $Q$ ein Prädikat)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Gödel'sche Unvollständigkeitssatz?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.