activity
20012007
most citedOn the Design of Generic Static Analyzers for Modern Imperative Languages

6 citations · 13 across the 6 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…