An Experiment in Automatic Verification of Programs How effective is a compiler at replacing explicit verification, and what is the cost of this technique? CACM October, 1963 Weinberg, G. M. Gressett, G. L. CA631007 JB March 13, 1978 5:59 PM 1053 5 718 718 5 718 718 5 718 718 5 718 435 6 718 474 6 718 718 6 718 720 6 718