correctness proof: dowód poprawności > Dodaj do ulubionych 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.