产品

Kani

Q: Kani 最近有什么新动态？

traeai 已收录 1 篇与 Kani 相关的内容。最新一篇是「pstack 新增了一个 skill /create-formal-verification-skill 定位是 meta-skill：不直接帮你做形式化验证，而根据你想验证的系统特性，自动生成一个...」，由 meng shao(@shao__meng) 发布。

Rust 语言形式化验证工具，支持未定义行为检测。

已跟踪 1 条高相关材料

TraeAI 观察

如果只读 3 篇

pstack 新增了一个 skill /create-formal-verification-skill 定位是 meta-skill：不直接帮你做形式化验证，而根据你想验证的系统特性，自动生成一个...

meng shao(@shao__meng) · 8.5 分

pstack 新增的 /create-formal-verification-skill 元技能可根据系统特性自动生成定制验证方案，结合形式化验证与LLM技术提升软件正确性。

pstack 新增了一个 skill /create-formal-verification-skill 定位是 meta-skill：不直接帮你做形式化验证，而根据你想验证的系统特性，自动生成一个...

meng shao(@shao__meng)10月19日707 字 (约 3 分钟)

pstack 新增的 /create-formal-verification-skill 元技能可根据系统特性自动生成定制验证方案，结合形式化验证与LLM技术提升软件正确性。

入选理由：pstack 0.15.27 版本新增元技能，可自动生成 TLA+/Kani 验证套件

FeaturedTweet#pstack#形式化验证#Rust#TLA+#Kani中文

跨材料问答 · Kani

回答基于：Kani 相关 1 条材料