Thomas M. Cover
IEEE Trans. Inf. Theory
Paper
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.
Related
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering