1
An Empirical Study of LLM-Generated Specifications for VeriFast
大模型自动生成VeriFast规格，实证检验其在分离逻辑验证中的效果与局限，为降低形式化验证门槛提供新思路。
arXiv:2606.26490v1 Announce Type: cross Abstract: Static verification tools can assure industrial scale software, but require significant human labor …