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:
CoRR (2006)
Keyphrases
</>
hardware and software
computer systems
low cost
formal methods
data analysis
database
query processing
fuzzy logic
hardware software