2 papers
cs.SE2026
An Empirical Study of LLM-Generated Specifications for VeriFast
Wen Fan, Minh Tran, Sanya Dod +5
Static verification tools can assure industrial scale software, but require significant human labor to write specifications. This is particularly true of static verifiers based on…
cs.SE2025
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
Wen Fan, Marilyn Rego, Xin Hu +5
Static verification is a powerful method for enhancing software quality, but it demands significant human labor and resources. This is particularly true of static verifiers that re…