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