Predicate transformer semantics: Difference between revisions

Revision as of 18:40, 29 November 2022

Revision as of 03:20, 1 December 2022

Line 18:

=== Abort ===

{| style="background-color:#eeeeff;" border="1" cellpadding="10"

|<math>wp(\texttt{abort},R) \ =\ \texttt{falseF}</math>

|}