Specified Blocks

  title={Specified Blocks},
  author={Eric C. R. Hehner},
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying programs, and for program development. They are simpler, more general, easier to write, and they make proofs easier. 

From This Paper

Topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-2 of 2 references

A.Y.C.Lai: a Tool for a Formal Refinement Method

  • Eric Hehner
  • MSc thesis, University of Toronto,
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…