Gameye Newsnew|past|sources|rss
new · 2026-10-23 · X 热议日报

用状态图 + TLA+ 形式化验证抓 AI 写的 bug

X 热议日报 · 2026-10-23 · 2026-10-23 05:10 Asia/Shanghai · original · X

Brief

用状态图 + TLA+ 形式化验证抓 AI 写的 bug 的方法讨论。

Details

Tags
开发工具形式化验证

Links

Related on 2026-10-23

Comments

Comments coming soon.