Login / Signup
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems.
Roberto Bagnara
Patricia M. Hill
Enea Zaffanella
Published in:
Sci. Comput. Program. (2008)
Keyphrases
</>
hardware and software
computer systems
low cost
data analysis
hardware software
distributed systems
convex hull
computing systems
databases
software engineering
model checking