Lei Bu

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

2025

In the software development process, formal program specifications play a crucial role in various stages, including requirement analysis, software testing, and verification. However, manually crafting formal program specifications is rather difficult, making the job time-consuming …