待验证50% 置信事实精确时间

Verus是一个面向Rust的程序验证器（program verifier），可以针对代码的功能规范进行自动化检查

1

来源数

50%

置信度

长期有效

时效性

2026/9/15

首次发现

来源

Verus：用形式化验证打造可证明正确的Rust代码

涉及实体

Verusproduct Rusttechnology

相关事实

待验证K2-Vendor-Verifier使用固定输入测试集覆盖代码生成、推理、对话等多种任务类型进行验证71% 相似待验证Verus的工作流中代码包含三类要素：规范（spec）、证明（proof）和实现（exec）65% 相似待验证Vercel的方案包含评估框架(Eval Harness)来验证AI生成输出的质量64% 相似待验证Verus中的证明部分包含辅助断言、循环不变量等，不参与实际运行，只服务于验证过程60% 相似待验证verdant等工具的并行Agent执行成本足够低，使开发者可以先尝试再评估而不必事前做复杂的依赖分析59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/921535

API

curl https://kongchang.com/api/v1/knowledge/claims/921535

MCP

get_claim(id=921535)