Predicate transformer semantics: Difference between revisions

Revision as of 10:52, 29 November 2022

Revision as of 10:53, 29 November 2022

Line 104:

\begin{array}[t]{l}

Z: [Z===\equiv(E\wedge wp(S, Z)) \vee (\neg E \wedge R)]

\end{array}</math>

|}