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

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