Здравствуйте, Kh_Oleg, Вы писали:

K_O>

K_O>Взрыв 4 июня 1996 г. ракеты Ариан-5, стоившей пол-миллиарда долларов, имел причиной программную ошибку, которую компилятор Оберона/Компонентного Паскаля просто не пропустил бы.

Ну пропустил бы другую ошибку и ракета взорвалась бы на 2 сек позже.
Никогда ошибки не будут выявляться автоматически компиляторами или другими тулзами.
Просто сложность и объем кода настолько велик,
что даже одна ошибка на десяток миллионов строк кода может быть (и иногда становится)
роковой.