604495326

Poprawność systemów i programów

•    częściowa poprawność (bezpieczeństwo)

Dotyczy własności statycznych programu (np. wzajemne wykluczanie).

Jeśli program zakończy się, to poda prawidłowy wynik. Program nie znajdzie się w stanie niepożądanym.

•    całkowita poprawność (żywotność)

Dotyczy własności dynamicznych

Program zakończy się i poda prawidłowy wynik.

Program osiągnie w końcu każdy pożądany stan.

(w końcu = w nieokreślonym, skończonym czasie)_