Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra.

Sylvain Boulm, Alexandre Marchal

Browse the full ITP paper archive.