Synthesizing Nested Ranking Functions for Loop Programs via SVM

Published in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM 2019), 2019

Recommended citation:

This is joint work with Yi Li, Xuechao Sun, Andrea Turrini, and Lijun Zhang. The published paper is available here.