Schleifen, Invarianten

Korrektheit einer Schleife

{ V } while (B) do C { N }

beweist man durch geeignete Invariante I:



Johannes Waldmann 2007-01-23