> Да, потому что я и не буду её искать. Краем уха слышал
> про верификацию и чистые функции.

Практически - всякая математическая верификация работает для программ уровня hello world, которые в таком виде окружающим бесполезны. Как только программа становится чуть сложнее, происходит "комбинаторный взрыв" и проверить все возможные в программе варианты состояний и взаимодействий начинает занимать больше чем время существования вселенной. По поводу чего программы где просто здц как критична надежность стараются делать максимально тривиальными, а остальное так или иначе демонстрирует баги.

И конечно же если раздать прогу тысячам и даже миллионам юзеререй - баги они найдут. Нанять миллион тестировщиков - удавит жаба даже гугл, эппл и майкрософт, а проекты поменьше - и подавно. Значит толпа юзерей всегда найдте что-нибудь новенькое. И ставить это само по себе в претензию - криво. Конечно смотря что. Если у самолета при взлете двигатель отваливается, или программа у половины юзерей не запускается - это халтура, разумеется. А если какая-то мелкая опечатка в диалоге третьего уровня или лампочка над пассажирским креслом сгорела - с этим можно жить. Даже если юзер и заметит это.