Верификация и аттестация программного обеспечения

По теме Верификация и аттестация программного обеспечения.Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения: Курс лекций.Методы Верификации Программного Обеспечения.Соммервилл И. Инженерия программного обеспечения, 6-е издание.Общие сведения о верификации и аттестации.Планирование верификации и аттестации.Верификация и аттестация критических систем.Разработка программного обеспечения основывается на формальных методах.По дисциплине Технологии разработки программного обеспечения.Анализ согласованности программного кода, алгоритмов и структур данных.