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: 2017/09/26 10:20 (Externe Bearbeitung)

Seiten-Werkzeuge