Состоялась лекция «Метод индуктивных утверждений Флойда»
Были рассмотрены следующие вопросы:
- понятие пути в блок-схеме;
- понятия предиката пути и функции пути;
- понятие точки сечения;
- понятия базового, промежуточного, начального и конечного путей для заданного множества точек сечения;
- достаточность множества точек сечения для методов Флойда (покрытие блок-схемы базовыми путями);
- метод индуктивных утверждений Флойда;
- понятие индуктивного утверждения;
- условия верификации для промежуточных, начальных и конечных базовых путей;
- теорема Флойда о частичной корректности.