Verifikation

Betrachte Aussagen der Form {V} P {N} für

,,wenn V gilt, und P ausgeführt wird, gilt danach N ``

Beispiel: {x < 0 und y > 0} x = y - x; {x > 0}

Benutze Schlußregeln und Axiome



Johannes Waldmann 2004-06-30