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

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