Доведена необхідність створення незалежної верифікації, що базується на контролі семантичних інваріантів. Проведено аналіз статистичних характеристик програмного забезпечення. Запропоновано модель контролю семантичних програмних дефектів, що базується на використанні теорії випадкових процесів та дозволяє визначити функціональну залежність ефективності семантичного контролю від статистичних характеристик програмного забезпечення.
