集成电路

此软件的关键字
zbMATH中的参考文献(参考
20篇文章
参考, 1标准件 )
丹尼尔·克罗宁;奥弗·斯特里奇曼:决策程序。 算法观点(2016) Meseguer,José:初始代数中基于变量的可满足性(2016) 克拉克•巴雷特;摩根•德斯特尔斯;莱昂纳多•德莫拉;艾伯特•奥利维拉;艾伦•斯顿普:6年SMT-COMP(2013年) ioport公司 Konur,Savas:用于指定和验证实时系统的时序逻辑综述(2013) 斯特里克曼,奥弗(编辑);克罗宁,丹尼尔(编辑):“SI:可满足性模理论”专刊前言(2013) Bruttomesso,Roberto;Cimatti,Alessandro;Franzen,Anders;Griggio,Alberto;Sebastiani,Roberto:延迟理论组合与Nelson Oppen的可满足性模块理论:比较分析(2009) 丹尼尔·克罗宁(Daniel Kroneing);斯特里克曼(Strichman),奥弗(Ofer):可满足性模理论框架(2009) Badban,Bahareh;Van De Pol,Jaco;Tveretina,Olga;Zantema,Hans:概括DPLL和平等满意度(2007) Basin,David;Kuruma,Hironobu;宫崎骏,Kunihiko;Takaragi,Kazuo;Wolff,Burkhart:验证标志性建筑:比较案例研究(2007) Marco Bozzano;Bruttomesso,Roberto;Cimatti,Alessandro;Juntila,Tommi;Ranise,Silvio;Van Rossum,Peter;Sebastiani,Roberto:通过布尔搜索进行有效的理论组合(2006) David Currie;Feng,Xiushan;Fujita,Masahiro;Hu,Alan J.;Kwan,Mark;Rajan,Sreeranga:使用符号执行和未解释函数的嵌入式软件验证(2006) Ireland,Andrew;Ellis,Bill J.;Cook,Andrew;Chapman,Roderick;Barnes,Janet:高完整性软件验证的集成方法(2006) Rodeh,Yoav;Strichman,Ofer:用未解释的函数建立小的等式图来决定等式逻辑(2006) (2005年巴伦纳德设计竞赛的结果) Marco Bozzano;Roberto Bruttomesso;Alessandro Cimatti;Tommi Juntila;van Rossum,Peter;Schulz,Stephan;Sebastiani,Roberto:M\textbfathSAT:SAT和数学决策程序的紧密集成(2005) Yorsh,Greta;Musuvathi,Madanlal:生成插入式的组合方法(2005) Zuck,Lenore;Pnueli,Amir;Goldberg,Benjamin;Barrett,Clark;Fang,Yi;Hu,Ying:循环转换的翻译和运行时验证(2005) Sorea,Maria:时间自动机的有界模型检验(2003) Filli–tre,Jean-Christophe;Owre,Sam;Rueß,Harald;Shankar,Natarajan:ICS:集成规范化器和求解器(2001) Rusu,Vlad;Zinovieva,Elena:用Preburger算法和未解释函数符号分析自动机(2001)