Vorlesung Modellierung WS 2001/2002 - Folie Nr. 309

Ziele:
Bedeutung der Verifikation erkennen

in der Vorlesung:

• Ziele der Verifikation erläutern
• Man wählt die Aussagen, die man über den Algorithmus beweisen will, z.B. seine Spezifikation
• Nicht: "Der Algorithmus wird bewiesen."