Korrektheit

Verifikation
Testen
Spezifikation
Partielle Korrektheit
Totale Korrektheit
Terminierung
Zusicherungen
schwache und starke Zusicherungen
Hoare-Kalkül
Arten von Folgerungen
Verifikationsregeln im Hoare-Kalkül
Zuweisungsregel
Sequenzregel (Kompositionsregel)
Konsequenzregel
Verzweigungsregel
Verifikation von Schleifen
Schleifenregel
Invariante
Terminierungsregel

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.