AGI Hunt· xennygrimmato_·· 2 小时前AI 评分57
Harmonic 公开 AI 定理证明器 Aristotle，支持验证 C 与 Verilog
Harmonic 公开 Aristotle：AI 形式化验证 C 与 Verilog
AI 导读
Harmonic 正式公开 AI 定理证明器 Aristotle，首发支持对 C 语言软件和 Verilog 硬件代码进行形式化验证。该工具面向 AI 生成代码增多后人工审查难以跟上的场景，主打核验代码正确性。
来源：AGI Hunt · agihunt.info