Что такое (формальная) верификация программы?

вопрос

Правильный ответ:

формальное доказательство того, что реализация программы соответствует ее спецификации

прогон тестов

визуальная инспекция программы на типичные ошибки

визуальный сквозной просмотр программы

Сложность вопроса

Сложность курса: Возможности Visual Studio 2013 и их использование для облачных вычислений

Оценить вопрос

Очень сложно

Сложно

Средне

Легко

Очень легко

Комментарии:

Аноним

Я провалил зачёт, какого чёрта я не увидел этот сайт с всеми ответами интуит до того как забрали в армию

14 янв 2020

Аноним

спасибо за пятёрку

22 авг 2016

Другие ответы на вопросы из темы сетевые технологии интуит.