形式化验证DPV的验证通过标准是什么？

Doflamingo · 发表于 2024-4-9 10:33:58

您需要登录才可以下载或查看，没有账号？注册

x

想问一下形式化验证工具中的DPV的验证通过标准是什么，lemma前面变成绿色对号就可以了吗？有没有一些标准供参考。感谢！

年轻的韭菜 · 发表于 2024-4-9 14:12:16

好奇这个是验证的搞，还是算法的人搞这个dpv呢。

[求助] 形式化验证DPV的验证通过标准是什么？