Generation of basic semi-algebraic invariants using convex polyhedra. (English) Zbl 1141.68446
Hankin, Chris (ed.) et al., Static analysis. 12th international symposium, SAS 2005, London, UK, September 7–9, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28584-9/pbk). Lecture Notes in Computer Science 3672, 19-34 (2005).