Средства и методы разработки

Да, забыл отметить, что анализировали не только сбои программ, но и сбои аппаратуры (типа тяжёлая частичка прилетела). Анализ двоичного кода им тоже немало подсказал каких конструкций языка Си надо избегать для большинства архитектур и компиляторов. Давно читал, ссылки не дам.