На семинаре 14 марта будет проведена контрольная работа по методам Флойда. Длительность контрольной — 1,5 часа. За это время нужно будет доказать полную корректность блок-схемы (без операторов CALL) относительно спецификации при помощи методов Флойда. Можно пользоваться любыми письменными материалами и книгами. Нельзя пользоваться электронными устройствами. Перед семинаром состоится лекция о верификации рекурсивных блок-схем.