Non-deterministic expressions and predicate transformers

DOI10.1016/S0020-0190(97)00023-9zbMath1336.68039MaRDI QIDQ287006

Joseph M. Morris

Publication date: 26 May 2016

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

refinement calculus; nondeterministic expressions; weakest preconditions

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)