"Верификация программного обеспечения: Курс лекций" - читать интересную книгу автора (Синицын С.В., Налютин Н.Ю.)