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.
