Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
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
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
John M. Boyer, Charles F. Wiecha
DocEng 2009
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS