Revision as of 11:31, 29 November 2022 edit 73.15.97.112 (talk) →Terminating ← Previous edit		Revision as of 11:32, 29 November 2022 edit undo 73.15.97.112 (talk) →Conjunctive Next edit →
Line 241: === Conjunctive === A predicate transformer ''TS'' is '''conjunctive''' iff: :<math>TS(P \wedge Q)\ \Leftrightarrow\ (TS(P) \wedge TS(Q))</math> This is the case for <math>wp(S,.)</math>, even if statement ''S'' is non-deterministic as a selection statement or a specification statement.

Predicate transformer semantics: Difference between revisions