Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research
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
Robert C. Durbeck
IEEE TACON
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
Thomas M. Cover
IEEE Trans. Inf. Theory