埃德蒙·克拉克;丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼(Ofer Strichman) 有界模型检查的完整性和复杂性。 (英语) Zbl 1202.68244号 Steffen,Bernhard(编辑)等人,《验证、模型检查和抽象解释》。第五届国际会议,VMCAI 2004,意大利威尼斯,2004年1月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20803-8/pbk)。莱克特。注释计算。科学。2937, 85-96 (2004).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,Lect。注释计算。科学。2937、85-96(2004年;Zbl 1202.68244) 全文: DOI程序
查基,S。;E.克拉克。;A.格罗斯。;沃克宁,J。;O·斯特里赫曼。;约拉夫,K。 顺序和并发C程序的有效验证。 (英语) Zbl 1101.68677号 形式方法系统。设计。 25,编号2-3129-166(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。25,编号2--3,129--166(2004;Zbl 1101.68677) 全文: DOI程序
萨加·查基;埃德蒙·克拉克;亚历克斯·格罗斯;斯特里赫曼(Ofer Strichman) 具有最小谓词的谓词抽象。 (英语) Zbl 1179.68033号 Geist,Daniel(编辑)等人,《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议,CHARME 2003,意大利拉奎拉,2003年10月21日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20363-X/pbk)。莱克特。注释计算。科学。2860, 19-34 (2003).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,Lect。注释计算。科学。2860、19-34(2003年;Zbl 1179.68033) 全文: DOI程序
埃德蒙·克拉克;阿努巴夫·古普塔;詹姆斯·库库拉;斯特里赫曼(Ofer Strichman) 使用ILP和机器学习技术的基于SAT的抽象重定义。 (英语) Zbl 1010.68515号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 265-279 (2002).MSC公司:60年第68季度 68T05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,Lect。注释计算。科学。2404265-279(2002年;Zbl 1010.68515) 全文: 链接