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