2137 search results - page 5 / 428 » Proving Abstract Non-interference |
101
click to vote
CORR
2012
Springer
13 years 5 months ago
2012
Springer
erate (Extended Abstract) Patrick Bindjeme1† and James Allen Fill1 1 Department of Applied Mathematics and Statistics, The Johns Hopkins University, 34th and Charles Streets, Bal...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Pure methods and model fields are useful and common speci
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
IPL
2010
14 years 7 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...