It seems like the class of statement, postcondition pairs (S, R) such that the weakest precondition wp(S, R) is true is a particularly interesting one (being in some sense “always” true).
Is there a term for this set or property?
Asked
Active
Viewed 5 times
0
user2141650
- 2,827
- 1
- 15
- 23