A Logic for Correct Program Development

The rules of inference ( allowing validity to be extended to other specifications ) are formulated as a set of refinement rules that describe legal reasoning steps in formal developments . A successful development begins with a problem ...