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

Ключевые слова: верификация, абстрактные интерпретации, транзиционные системы, сети Петри, верификация на моделях.