CSM-363 - Six theories of operation refinement for partial relation semantics
Martin C. Henson, Moshe Deutsch, Steve Reeves · Open Access at Essex (University of Essex) · 2002
In this paper we analyse total correctness operation refinement on a partial relation semantics for specification. In particular we show that three theories: a relational completion approach, a proof-theoretic approach and a functional models approach, are all equivalent. This result holds whether or not preconditions are taken to be minimal or fixed conditions for establishing the postcondition.