Sky Forum· Bonapublica·· 5 天前AI 评分22
Diamond PAU 独立形式化验证：用 Certora Prover、Halmos 与 Foundry 完成 21 项属性评估
Diamond PAU: Independent Formal Assurance and Adversarial Verification using Certora Prover, Halmos, & Foundry
AI brief
A 21-property attempt combining Certora Prover, Halmos, Foundry, mutation discrimination, historical regression testing, and deployed-bytecode binding. A special thanks to Certora, Halmos, and Foundry for making these tools available. And thank you to pegaslint and the agentic Closed_Models that made it possible. We pe…
Source: Sky Forum · forum.skyeco.com