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