21 citations · 78 across the 23 of their papers we have counts for
1 paper · 2 filters
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applicat…