Skip to main content
Research
CACM
Paper

An experiment in automatic verification of programs

View publication

Abstract

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

Related

Paper

The Qx-coder

M.J. Slattery, Joan L. Mitchell

IBM J. Res. Dev

View all publications