Certified Static Analysis by Abstract Interpretation

Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie. Certified Static Analysis by Abstract Interpretation. In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 223-257, Springer, 2009. [doi]

Abstract

Abstract is missing.