- Вам дана блок-схема над 2 входными, 1 промежуточной
и 1 выходной переменной. Домены всех переменных - множество
всех целых чисел. Вам дана спецификация над этими же
переменными. При помощи методов Флойда докажите, что
блок-схема полностью корректна относительно спецификации.
ϕ(x1,x2) ≡ x1 ≥ 0
ψ(x1, x2, z1) ≡ z1 ≤ x1 * x2
- Вам дана блок-схема над 1 входной, 1 промежуточной
и 1 выходной переменной. Домены всех переменных - множество
всех целых чисел. Вам дана спецификация над этими же
переменными. При помощи методов Флойда докажите, что
блок-схема полностью корректна относительно спецификации.
ϕ(x) ≡ T
ψ(x, z) ≡ if x > 100 then z = x - 10 else z = 91
