S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
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
Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Thomas M. Cover
IEEE Trans. Inf. Theory