Q. I is invariant predicate that satisfies condtion (Solved)
1. i and b subset of asem (l,i)
2. i and not b subset of p
3. both a and b
4. none of above
- c. both a and b
1. i and b subset of asem (l,i)
2. i and not b subset of p
3. both a and b
4. none of above