Представлен аналитический обзор современных методов верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделено методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей.

Кибернетика и системный анализ [Текст] // Кибернетика и системный анализ ; Институт кибернетики им. В.М. Глушкова НАН Украины - К. : Ин-т кибернетики им. В.М. Глушкова. — 2013.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)