Home → Magazine Archive → October 1963 (Vol. 6, No. 10) → An experiment in automatic verification of programs → Abstract

An experiment in automatic verification of programs

By G. M. Weinberg, G. L. Gressett

Communications of the ACM, Vol. 6 No. 10, Pages 610-613
10.1145/367651.367660


Save PDF
How effective is a compiler at replacing explicit verification, and what is the cost of this technique?

The full text of this article is premium content

0 Comments

No entries found