718	 An Experiment in Automatic Verification of Programs	 How effective is a compiler at replacing explicit verification and what is the cost of this technique
