1
Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification
用LLM推断部分合约，实现无需全程序重新验证的回归验证，大幅降低验证成本。
arXiv:2607.10291v1 Announce Type: cross Abstract: Software evolves continuously, yet ensuring that a patch preserves intended behavior without re-veri…