Generation of basic semi-algebraic invariants using convex polyhedra

by Roberto Bagnara , Enric Rodríguez-carbonell , Enea Zaffanella
Venue:Static Analysis: Proceedings of the 12th International Symposium, volume 3672 of Lecture Notes in Computer Science
Citations:12 - 1 self