correctness proof: dowód poprawności
Wykazanie za pomocą narzędzi matematycznych, że program działa zgodnie z wymaganiami przy założeniu, że na wejściu zostaną mu przekazane prawidłowe dane.

Podoba Ci się ta strona?
Pomóż nam się rozwijać, wykupując płatne konto. Dzięki temu będziemy mogli tworzyć dla Ciebie jeszcze więcej ciekawych treści, a Ty pozbędziesz się reklam.