Автоматизация верификации программ Результаты Преобразованная программа Модифицированная программа Условия верификации Недоказанные условия Аннотированная программа Анализатор программы Результат верификации Анализатор доказательства Дополнительная информация Принятие решений Модификация программы Верификатор Доказатель условий верификации Генератор условий верификации Типовая схема верификатора