Почему падают самолеты или есть ли стандартизированные методики верификации ПО в промышленности?

Самолёты в абсолютном большинстве случаев падают не из-за ошибки в программах, а из-за ошибки в пилотах.

Строго говоря, самолёты при авиакатастрофах НЕ падают. Пока самолёты целиком, это разновидность полёта, управляемого или нет. Падают части самолёта, когда сами они рассыпаются в воздухе.

Разумеется, есть стандарты на ПО. Пример отраслевого вам дали, но есть и корпоративные и военные. Есть даже стандарты, которые требуют создания более конкретных стандартов.

Причины реальных катастроф в сети можно найти например в базе Aviation Safety Network. Из-за недостатков ПО авиакатастрофы случались, но это один из множества факторов, которые приводят к катастрофам. Считать, что катастрофа случается по единственной причине - верх наивности.

Падают самолёты чаще всего из-за ошибок в мозгах пилотов
Зачастую электросистемы и в общем ПО на самолёте можно поставить на место в кратчайший срок не сбиваясь с курса и не поднимая панику.