Korrektheit

Verifikation

Frage:

Definiere Verifikation!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Testen

Frage:

Was versteht man unter Testen?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Spezifikation

Frage:

Definiere den Begriff "Spezifikation"! 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Partielle Korrektheit

Frage:

Ein Programm wird partiell korrekt genannt $: \Leftrightarrow$ ?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Totale Korrektheit

Frage:

Wann erfüllt ein Programm die Kriterien der totalen Korrektheit?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Terminierung

Frage:

Was versteht man unter Terminierung? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Zusicherungen

Frage:

Was versteht man unter Zusicherungen? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

schwache und starke Zusicherungen

Frage:

Zusicherungen können stärker oder schwächer sein. Was unterscheidet sie von einander?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Hoare-Kalkül

Frage:

Was ist das Hoare-Kalkül?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Arten von Folgerungen

Frage:

Nenne die Arten von Folgerungen im Hoare-Kalkül! 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Verifikationsregeln im Hoare-Kalkül

Frage:

Nenne die Verifikationsregeln im Hoare-Kalkül! 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Zuweisungsregel

Frage:

Beschreibe die Zuweisungsregel!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Sequenzregel (Kompositionsregel)

Frage:

Beschreibe die Sequenzregel (Kompositionsregel)!

Gib die Schlussregel an!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Konsequenzregel

Frage:

 Beschreibe die Konsequenzregel!

Gib die Schlussregel an!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Verzweigungsregel

Frage:

Beschreibe die Verzweigungsregel!

Gib die Schlussregel an!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Verifikation von Schleifen

Frage:

Nenne die Schritte zur Verifikation von Schleifen!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Schleifenregel

Frage:

Beschreibe die Schleifenregel!

Gib die Schlussregel an!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Invariante

Frage:

Definiere den Begriff "Invariante"!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Terminierungsregel

Frage:

Was versteht man unter der Terminierungsregel? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.