Yi Li, Xuechao Sun, Yong Li 0031, Andrea Turrini, Lijun Zhang 0001. Synthesizing Nested Ranking Functions for Loop Programs via SVM. In Yamine Aït Ameur, Shengchao Qin, editors, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Volume 11852 of Lecture Notes in Computer Science, pages 438-454, Springer, 2019. [doi]
Abstract is missing.