Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion

Zehan Chen, Long Zhang, Zhiwei Zhang +5

Traditional formal specification generation methods are typically tailored to specific specification types, and therefore suffer from limited generality. In recent years, large lan…