Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

Alexis Fouilhé, David Monniaux, Michaël Périn. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. In Francesco Logozzo, Manuel Fähndrich, editors, Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Volume 7935 of Lecture Notes in Computer Science, pages 345-365, Springer, 2013. [doi]

Abstract

Abstract is missing.