×

兹马思-数学第一资源

插值和基于SAT的模型检查。(英语) Zbl公司 1278.68184
亨特,沃伦·A·俊(等,计算机辅助验证。第15届国际会议,CAV 2003,2003年7月8日至12日,美国科罗拉多州博尔德市。柏林:斯普林格(ISBN 3-540-40524-0/pbk)。选择。笔记计算。科学。2725,1-13(2003年)。
摘要:我们考虑了一种完全基于SAT的基于Craig插值的无界符号模型检测方法。在使用一组大型工业电路验证实例进行的基准测试中,该方法比基于BDD的符号模型检验方法更有效,并且与最近一些基于SAT的正实例模型检验方法相比,具有更高的效率。
整个系列请参见[Zbl 1027.00031号].

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
03C40型 插值、保存、可定义性
68立方厘米 符号计算与代数计算
PDF格式 BibTeX公司 XML 引用
全文: 内政部