Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.

Roberto Bagnara, Enric Rodrguez-Carbonell, Enea Zaffanella

Browse the full SAS paper archive.