Представляется интересным формирование требований к просмотрщикам
исходного кода ПО для использования их в целях верификации ПО

Википедия:
Верификация - проверка, проверяемость, способ подтверждения, проверка с
помощью доказательств, каких-либо теоретических положений, алгоритмов,
программ и процедур путем их сопоставления с опытными (эталонными или
эмпирическими) данными, алгоритмами и программами.

из ГОСТ Р 61508-3 (ГОСТы Р 61508 - аналог европейских стандартов МЭК 61508):

"7.4.7 Примечание 2:
Процесс проверки того, что программный модуль корректно выполняет все
требования, содержащиеся в спецификации тестирования, относится к процессам
верификации. Сочетание просмотра исходных текстов и тестирования
программных модулей дает гарантию того, что программный модуль удовлетворяет
требованиям своей спецификации, т.е. верифицирует модуль.

7.9.2.12 Верификация исходного текста
Исходный текст должен быть верифицирован статическими методами для того,
чтобы гарантировать соответствие специфицированным проектам программных
модулей, необходимым стандартам кодирования и требованиям планирования
безопасности.
Примечание - На ранних стадиях жизненного цикла безопасности программного
обеспечения верификация является статической (например, изучение, просмотр,
формальная проверка и т.п.). Верификация исходного текста включает такие
методы, как просмотр и прогон программного обеспечения. Сочетание
результатов верификации исходных текстов и проверок программного обеспечения
гарантирует, что каждый программный модуль будет удовлетворять своей
спецификации."

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


Кстати, по поводу соотношения алгоритма и программы.

С точки зрения стандартов проектировния ПО программа является реализацией
алгоритма применительно к аппаратно-программным средствам создаваемой
системы.
Т.е. алгоритм - это понятие логико-математическое, а компьютерная программа -
это понятие из области информационных технологий.