An experiment in automatic verification of programs

Abstract

How effective is a compiler at replacing explicit verification, and what is the cost of this technique?. © 1963, ACM. All rights reserved.