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

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

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