Weakest Precondition
Sprache: Deutsch
Fach:
Sonstiges
> Sonstiges
Alter: 18 - 25
Gohar Tamrazyan Weakest Precondition
Finde für alle Code-Ausschnitte der Form { Precondition } S { Postcondition } die schwächste Vorbedingung. Bei mehreren Zeilen: Arbeite dich von unten nach oben und setze auch die Zwischenbedingungen, die zu erfüllen sind. Schreibe generell OR für "oder" und AND für "und". Alle Variablen sind int Variablen, ohne Overflow/Underflow.
