Statement inversion and strongest postcondition

DOI10.1016/0167-6423(93)90015-HzbMath0780.68010OpenAlexW2035375650MaRDI QIDQ1261493

K. Appert

Publication date: 31 January 1994

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90015-h

zbMATH Keywords

weakest preconditiondemonic and angelic nondeterminisminverse commands

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

Predicate transformers as power operations ⋮ The lattice of data refinement

This page was built for publication: Statement inversion and strongest postcondition