Что такое (формальная) верификация программы?
(Отметьте один правильный вариант ответа.)
Варианты ответа
визуальный сквозной просмотр программы
формальное доказательство того, что реализация программы соответствует ее спецификации(Верный ответ)
визуальная инспекция программы на типичные ошибки
прогон тестов
