Benutzer-Werkzeuge
Seitenleiste
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: 2014/09/24 16:43 (Externe Bearbeitung)
Seiten-Werkzeuge
