Korrektheit, Spezifikation

• jeder Algorithmus hat eine Spezifikation,

  die die gewünschte Beziehung zwischen Ein- und Ausgabe beschreibt.

• Forderung an die Eingaben: Vorbedingung

  Forderung an die Ausgaben: Nachbedingung

  Schreibweise: { V } A { N }

• Algorithmus heißt korrekt, wenn er seine Spezifikation erfüllt.
• erst spezifizieren, dann implementieren!