1
Agentic Separation Logic Specification Synthesis
提出基于智能体的分离逻辑规范自动合成方法，为程序验证与逻辑推理提供新思路。
arXiv:2605.27531v1 Announce Type: cross Abstract: Specification synthesis, the task of automatically inferring formal specifications from program impl…