Using Loop Bound Analysis For Invariant Generation. - Pavel Cadek; Clemens Danninger; Moritz Sinn; Florian Zuleger (FMCAD, 2018)