> Априори бажность - хорошая отговорка для тех кто проектирует лифты,

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

> корабли, самолёты, автотехнику, робототехнику.

А вот у этих бывает и сложный софт и на этот случай предпринимаются специальные меры.

> Баги бывают, чо. Невнимательность - всего лишь невнимательность,

Людям свойственно ошибаться. И ничего с этим поделать нельзя. Но это можно учесть. Есть множество инженерных принципов. Например, принципы FAILSAFE. Или вон у одного из боингов бортовые компьютеры созданы из разной комплектухи, а софт писан 2-я разными командами на 2-х разных ЯП. Это чтобы ни при каких обстоятельствах не случилось так что оба компьютера сразу словили один и тот же баг, как раз. То-есть, мысль о существовании багов не только допущена, но и приняты превентивные меры нацеленные на то, чтобы пилоты даже в этом случае остались с как минимум 1 работоспособным компьютером.