ITL
© 1996-2015







21 Examples First Order ITL

Example 15

(C B) = 0 ∧ (skip ;A = 1)
A =  0 ∧ ((B = 1 ∧ skip);(A  = 1 ∧ B = 0))
A =  0 ∧ C (A = 1) ∧ C C(A = 2)
(  A = 0 ) ∧ ( B = 0 )
! A =  5      *
(A =  0 ∧ skip) ∧ (finA ) = 0

_____________________________________________________________________