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