Формальное доказательство правильности алгоритма называется:

  • верификацией
  • тестированием
  • трассировкой
Для просмотра статистики ответов нужно залогиниться.