Какие утверждения справедливы относительно понятия корректности программы
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
Для проверки справедливости предиката постусловия программа не должна изменять значения входных данных.(Верный ответ)
Формальное задание спецификаций программы невозможно
Формально задать спецификации программы можно, задав два предиката - предусловие (предикат Pred(X), определенный на входных данных программы) и постусловие (предикат Post(X, Y), связывающий входные данные программы X и выходные Y)(Верный ответ)
Понятие корректности программы можно определить, если только заданы спецификации программы