Оттуда же . Комментарий:> -- Цитата:
> Vjatcheslav3345  5 июля 2016 в 12:36   0     Кстати, а есть в мире организации, которые занимаются проверкой не программных багов (как в случае с PVS-Studio), а ошибок в алгоритмах — например, фирмы или сообщества, основанные профессиональными математиками и предлагающие проверку на ошибки в алгоритмах?
Желательно представить алгоритм в эргономичном виде, т.е. в виде, удобном для проверки. Сейчас, насколько мне известно, этого нет.

Сегодня реальные алгоритмы существуют, как правило, в виде программного кода. В таком виде проверять алгоритмы можно только путем тестирования программ или в процессе реальной эксплуатации ПО. Для сложных алгоритмов оба способа уязвимы для критики.