A Weakest Precondition Semantics for Z
From MaRDI portal
Publication:3842954
DOI10.1093/comjnl/41.1.1zbMath0906.68093MaRDI QIDQ3842954
Ana Cavalcanti, J. C. P. Woodcock
Publication date: 20 August 1998
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/e9b897389d1bef36521d3d3f023280986b7224aa
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Angelic nondeterminism in the unifying theories of programming, From Predicates to Programs: The Semantics of a Method Language