| 
|
Quote: the transformed predicate is the weakest precondition that gives the original predicate after execution
topics >
all references >
references p-r >
Topic:
predicate transforms
Quotation Skeleton
The fact that the transformed predicate always holds … precondition (necessary and sufficient condition) for the original … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: predicate transforms (7 items)