Regel für “;”

Um eine Hintereinanderausführung zu beweisen,

benötigen wir eine Zwischenbehauptung R :

{ P } C1 ; C2 { Q }

{ P } C1 { R }

{ R } C2 { Q }

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen