Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri. Computing Exact Loop Bounds for Bounded Program Verification. In Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang, editors, Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Volume 10606 of Lecture Notes in Computer Science, pages 147-163, Springer, 2017. [doi]
Abstract is missing.