Sky 论坛· Bonapublica·· 9 小时前AI 评分48
Sky 的 Diamond PAU 完成独立形式化验证：21 项属性、5 类历史回归测试
Diamond PAU: Independent Formal Assurance and Adversarial Verification using Certora Prover, Halmos, & Foundry
AI 导读
Sky 对分配架构中的安全关键模块 Diamond PAU 完成独立形式化验证，使用 Certora Prover、Halmos 和 Foundry 组合 21 项属性，并重放 5 类历史回归测试。
来源：Sky 论坛 · forum.skyeco.com