Q. Predicate W is called as

(A) weakest precondition
(B) weakest postcondition
(C) both a & b
(D) none of this

💬 Discuss

✅ Correct Answer: (A) weakest precondition

Published by Mr. Dubey ⭐ 111.54K Points at 23-Sep-2023 07:29 pm in Principles of Programming Languages

You must be Logged in to update hint/solution

💬 Discussion

📊 Question Analytics

👁️

839

Total Visits

📽️

3 y ago

Published

🎖️

Mr. Dubey

Publisher

📈

84%

Success Rate