При этом верификация исторических повествований оказывается явно не в интересах государства, что очевидным образом вступает в противоречие с научной этикой.

Источник: 11959 Об ответственности интеллектуала перед средой обитания

Для работающего программиста это непосредственно не является полезным (ну например, где вы в нашей индустрии видели, чтобы применяли model checking для верификации программ, или, скажем theorem proving?), но для теоретического информатика - самое что ни на есть практическое применение. :)

Источник: 009600 Как я провел это лето. Марктобердорф (часть 2).

Также лидеры отметили необходимость создания условий для работы наблюдателей Специальной мониторинговой миссии ОБСЕ в Дебальцево Донецкой области для мониторинга и верификации режима прекращения огня.

Источник: 37552 "Нормандская четверка" обсудила первый день перемирия