weakest Precondition

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.

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.