Q. Postcondition is (Solved)
1. predicate p required to hold after execution of statement s
2. predicate q such that execution of s terminates & p holds upon termination
3. either a or b
4. both true
- a. predicate p required to hold after execution of statement s