Укажите истинные высказывания
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
Существуют эффективно работающие программы, которые не должны завершать работу(Верный ответ)
Существуют работающие программы, для которых не доказана завершаемость(Верный ответ)
Построение системы тестов достаточно для доказательства корректности программного проекта
Существуют эффективно работающие программы, корректность которых строго не доказана.(Верный ответ)
