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

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