… To provide an overview of ZRC, we present below a very simple example: we refine one of
the … the refinement laws of ZRC that we use in this paper. We assume familiarity with Z as …

… that ZRC-Refine is a significant encouragement to the extended application of ZRC and of
Z … In Appendix A we present the ZRC refinement laws that we use throughout this paper. An …

… any kind of refinement, or to move to a different formalism such as B or the refinement
calculus. This paper examines the interaction between refinement and the schema calculus more …

… a refinement calculus in the development process of a model checking tool, where we have
used the Z/… Circus provides a refinement calculus that extends ZRC, hence we can formally …

… ’s refinement calculus, and we describe some of its laws for the simultaneous refinement of
… With this result, laws of CSP and Z, for which we have a calculus called ZRC [CaW99], are …

… In particular, we want to rely on ZRC, the refinement calculus for Z presented in [6, 7].
Therefore, specifications in Circus are based largely on the use of Z constructs and specification …

… of the rules for refinement of specification statements in ZRC. They are drawn from [6], and
are based on the refinement calculus of Morgan [3]. They differ in that they use Z, particularly …

… which integrates work in data refinement [11] with Z is given in [… the refinement calculus (eg
[18]) with Z (eg [16] and [5, 6]). … directly from Z specifications, the most ambitious being ZRC [6…

… Some solved this difficulty by introducing informal techniques for transforming Z … substituting
Z with a more powerful version of Refinement Calculus, which enriches the language with Z-…