The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

2008/06/01 by Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · 3 citations

paper · doi:10.1016/j.scico.2007.08.001

Cited by

• Fano and Reflexive Polytopes from Feynman Integrals
• The lattice packing problem in dimension 9 by Voronoi's algorithm
• Universal Synthesis of Differentiably Tunable Numerical Abstract Transformers