Лекция 18 февраля

Состоялась лекция «Метод индуктивных утверждений Флойда»
Были рассмотрены следующие вопросы:

  • понятие пути в блок-схеме;
  • понятия предиката пути и функции пути;
  • понятие точки сечения;
  • понятия базового, промежуточного, начального и конечного путей для заданного множества точек сечения;
  • достаточность множества точек сечения для методов Флойда (покрытие блок-схемы базовыми путями);
  • метод индуктивных утверждений Флойда;
    • понятие индуктивного утверждения;
    • условия верификации для промежуточных, начальных и конечных базовых путей;
  • теорема Флойда о частичной корректности.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *