Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.

Alexis Fouilh, David Monniaux, Michal Prin

Browse the full SAS paper archive.