Fast Polyhedra Abstract Domain

Published in ACM POPL, 2017

Recommended citation: Gagandeep Singh, Markus Püschel, Martin Vechev, POPL 2017. /files/POPL17-Polyhedra.pdf