Без заголовка

> Про авиацию не знаю, но "верификация" в других критических областях выглядит достаточно смешно. Взглянул на это дело со стороны. Действительно, выглядит очень комично: какие-то люди потратили кучу времени и ресурсов, и заявляют что они типа как проверифицировали вообще-то только часть функциональности (зато наиболее важную) и с некоторыми ограничениями, при этом нашли только какие-то хитрожопые баги, про которые трудно вообще вообразить что они могут возникнуть в действительности. Ну и еще обнаружили какие-то принципиальные проблемы, которые возникли настолько давно, что теперь уже никто не будет их решать, потому что надо переделывать весь проект, а на это никто не пойдет. Т.е. как бы выхлопа-то от них никакого практического нет, а что они делали - непонятно. Шаманы какие-то. Вобщем-то необходимость в такой деятельности созревает постепенно. К примеру, выпустила Интел или АМД проц с ошибкой, а обнаружили это поздно, и это обернулось для них полной задницей, потому как им стали возвращать кучи процов и требовать новых. И пиар плохой и убытки. Теперь они очень осторожно новые процы выпускают. Сан вот отложила свой Rock на год, чтобы его дополнительно потестировать. А ведь за год ситуация на рынке процессоров может поменяться кардинально, т.е. их проц может оказаться уже неактуальным попросту.