Synthesizing Invariants for Polynomial Programs by Semidefinite Programming

Open Webpage

Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang

Published: 01 Jan 2025, Last Modified: 17 May 2025ACM Trans. Program. Lang. Syst. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0