Какие высказывания справедливы относительно понятия корректности программ
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
Формальное (строгое) задание спецификаций невозможно
Если спецификации программы заданы неформально, то возможно только не строгое определение корректности: программа корректна, если выполняются все спецификации(Верный ответ)
Если есть только программа, то невозможно формально определить, корректна она или нет(Верный ответ)
Понятие корректности программы можно определить, если задана программа и ее спецификации(Верный ответ)