Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
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
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Marshall W. Bern, Howard J. Karloff, et al.
Theoretical Computer Science