A certifying frontend for (sub)polyhedra abstract domains

This page was supporting the VSTTE 2014 paper of Alexis Fouilhé and Sylvain Boulmé by providing a source archive containing the code of the abstract domain here. This works was part of ANR Verasco.

This work is now improved by the new VPL implementation.