Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:annotationsbeweis

Annotationsbeweis

engl.: proof outline

Bedeutung

Annotiere das Programm so mit Zusicherungen, dass:

  • vor und hinter jeder Anweisung mindestens eine Zusicherung steht und
  • die Hoare-Regeln erfüllt sind.
glossar/annotationsbeweis.txt · Zuletzt geändert: 2016/09/22 10:14 (Externe Bearbeitung)