Jan-Willem罗尔达;科恩·克莱森 一种新的基于sAT的符号轨迹评估算法。 （英语） Zbl 1159.68337号 Borrione，Dominique（编辑）等人，《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议，CHARME 2005，德国萨尔布吕肯，2005年10月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29105-9/pbk）。计算机科学课堂讲稿3725238-253（2005）。 摘要：我们提出了一种新的基于SAT的符号轨迹评估（STE）算法，并将其与基于SAT技术的STE比较。关于整个系列，请参见[Zbl 1089.68002号]. 引用于2文件 MSC公司： 2007年7月68日 计算机体系结构的数学问题 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：超小卫星 PDF格式BibTeX公司 XML格式引用 \textit{J.-W.Roorda}和\textit{K.Claessen}，莱克特。注释计算。科学。3725、238--253（2005年；Zbl 1159.68337） 全文： 内政部