Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
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
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Thomas M. Cover
IEEE Trans. Inf. Theory