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


DM>посоветуйте пожалуйста литературу/ресурсы по сабжу; интересует методология разработки и тестирования критически важного софта. Желательно не сильно заумно-теоретическое.

DM>

Главное для критически важного софта — верификация. К сожалению, без заумно-теоретического не обойтись.
http://is.ifmo.ru/books/_principles_of_model_checking.pdf