Termination and Invariance Analysis of Loops.

Aaron R. Bradley, Zohar Manna

Browse the full ATVA paper archive.