Pre-QED 提出验证 Harness：把形式化验证的瓶颈从怎么证明转向证明什么
搞形式化验证或 agent 做代码证明的人该看看。它点破了 OSS-Verify 这类方案只证明单条 fuzz 序列的局限，改用 LTL 建模 API 全部合法用法，还开源了挑战集，可以直接拿来测自己的证明 agent。
#OSS-Verify
共 1 条 · 7 天 1 条 · 30 天 1 条
信息流里打上「OSS-Verify」标签的资讯、产品与论文，按刊登时间排，新的在上。
11月13日
搞形式化验证或 agent 做代码证明的人该看看。它点破了 OSS-Verify 这类方案只证明单条 fuzz 序列的局限，改用 LTL 建模 API 全部合法用法，还开源了挑战集，可以直接拿来测自己的证明 agent。