Есть ли стандарты верификации алгоритмов и ПО в промышленности?

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