5 citations · 6 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.SE2026
How Powerful are LLMs in Generating Formal Program Specifications?
Fanpeng Yang, Xing Li, Shuling Wang +7
Formal verification provides strong guarantees of software correctness, but its adoption is limited by the high cost of writing precise formal specifications. While recent large la…
cs.SE2026
KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base
Wenhan Wang, Zeyu Sun
Automated formal specification generation is a key step towards program understanding and formal verification. Recently, due to the success of large language models (LLMs) in code…