Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specification

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardwa

Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct dev