State whether each of the following Hoare Triples are valid or not. i. {0 ≤ X ∧ X ≤ 5} x := 3{ 0 ≤ X ∧ X ≤ 5 } ii. { fal
Posted: Fri Jul 01, 2022 5:33 am
State whether each of the following Hoare Triples are valid ornot. i. {0 ≤ X ∧ X ≤ 5} x := 3{ 0 ≤ X ∧ X ≤ 5 }
ii. { false } skip { true }
iii. { false } skip { false }
iv. { true } skip { false } v. { true } skip { true }
vi. { x = x+1 } skip { y = y+1 }
vii. { true } skip { 0 = 3 }
viii. { 2 = 2 } skip { 5 = 5 }
ix. { 8 > 3 } skip { false }
x. {x > 0} x := x+1 {x > 0
ii. { false } skip { true }
iii. { false } skip { false }
iv. { true } skip { false } v. { true } skip { true }
vi. { x = x+1 } skip { y = y+1 }
vii. { true } skip { 0 = 3 }
viii. { 2 = 2 } skip { 5 = 5 }
ix. { 8 > 3 } skip { false }
x. {x > 0} x := x+1 {x > 0