Rolf Clauberg
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
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Israel Cidon, Leonidas Georgiadis, et al.
IEEE/ACM Transactions on Networking