Specified Blocks

@inproceedings{Hehner2005SpecifiedB,
  title={Specified Blocks},
  author={Eric C. R. Hehner},
  booktitle={VSTTE},
  year={2005}
}
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.

Citations

Publications citing this paper.

References

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…