Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation

Zehan Chen, Long Zhang, Zhiwei Zhang +5

Formal specifications play a pivotal role in accurately characterizing program behaviors and ensuring software correctness. In recent years, leveraging large language models (LLMs)…