Ошибки в ПО будут всегда. С этим следует смириться. Помочь может разве что формальная верификация, но она даже для космических проектов не делается (не всегда, не полностью, не для новых условий нужное подчеркнуть), что уж говорить о рядовом софте. Почитайте, интересная статья. Кстати, использовалась Ада 
да знаю, децкий сад... (над EADS уже и прикалываться скучно - все руки не доходят под носом у них запатентовать то что они упускают)
Сделали 2 ошибки
1 Вместо специалистов привлекли программистов - хотя Ада как раз позволяет привлекать не-программистов,
то есть тут собсно ничего полезного из Ады и не было использовано...
2 Излишне усложнили проект. Метод ампутации рулит
Vladimir