Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger. Using Loop Bound Analysis For Invariant Generation. In Nikolaj Bjørner, Arie Gurfinkel, editors, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. pages 1-9, IEEE, 2018. [doi]
Abstract is missing.