Term for statements with vacuous weakest precondition

22 Views Asked by At

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?

0

There are 0 best solutions below