Reena Elangovan, Shubham Jain, et al.
ACM TODAES
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
Zohar Feldman, Avishai Mandelbaum
WSC 2010
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021