Теория и практика защиты программ

       

V2 and not B} OP2


Правило вывода IF4

–«Условный оператор if»

If

{V1 and B} OP1 {P} and

{ V2 and not B} OP2 {Р}

then

(V1 and V2} if В then OP1 else OP2 endif {Р} <

Правило вывода IF4

также следует из правил вывода IF1

и P1. Подобно правилу вывода IF3

оно обладает определенной практической полезностью вследствие простоты формы предусловия (V1 and V2).


Содержание раздела