Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
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
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
B. Wagle
EJOR