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

Title:
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Authors:
Bagnara, Roberto a, ⁎, Hill, Patricia M. b, Zaffanella, Enea a
Source:
In Science of Computer Programming 2008 72(1):3-21
Database:
ScienceDirect