activity
20012023
most citedPURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis

21 citations · 78 across the 23 of their papers we have counts for

collaborators
Showing 2006Show all

1 paper · 1 filter

cs.MS2006★ 3 cited

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

Since its inception as a student project in 2001, initially just for the handling (as the name implies) of convex polyhedra, the Parma Polyhedra Library has been continuously impro…