Formale Verifikation - AufgabenWertzuweisung | 
|
Aufgabe: Beweisen Sie
{ x = y } x=x+1; y=y+1; { x = y }.
Geben Sie im Beweis an, welche Regeln Sie angewandt haben.
Weiter mit:
 |
 H.W. Lang Fachhochschule Flensburg lang@fh-flensburg.de Impressum © |
 |