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