Вторая домашняя работа блока методов Флойда

Стоит доделать задание, которое разбиралось на семинаре.

Основное задание:
доказать методом индуктивных утверждений Флойда частичную корректность следующей блок-схемы относительно заданной спецификации.

hw-floyd-2

φ(x) ≡ (x ≥ 0)
ψ(x, z) ≡ z2 ≤ x < (z + 1)2

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

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

Этот сайт использует Akismet для борьбы со спамом. Узнайте как обрабатываются ваши данные комментариев.