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