Partielle vs. Totale Korrektheit

#Studium #Informatik #Definition #SWTPP

Partielle Korrektheit ( ${P} S {Q}$ ): Wenn $S$ in einem Zustand startet, der $P$ erfüllt, und wenn $S$ terminiert, dann erfüllt der Endzustand $Q$ .
Totale Korrektheit: Partielle Korrektheit plus der Beweis, dass $S$ für alle Eingaben, die $P$ erfüllen, tatsächlich terminiert.