Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu 0001, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian. Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. In Arie Gurfinkel, Vijay Ganesh 0001, editors, Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II. Volume 14682 of Lecture Notes in Computer Science, pages 302-328, Springer, 2024. [doi]
Abstract is missing.