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