B Cook,
C Fuhs, K Nimkar… - 2014 Formal Methods in …, 2014 - ieeexplore.ieee.org
When disproving termination using known techniques (eg recurrence sets), abstractions that
overapproximate the program's transition relation are unsound. In this paper we introduce …