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