阿明·比尔(编辑);凯伦·约拉夫(编辑) 特刊:硬件验证研讨会(HWVW’10)。2010年7月15日,苏格兰爱丁堡,根据研讨会上的陈述选出论文。 (英语) Zbl 1250.68014号 形式方法系统。设计。39,第2115-227号(2011年)。 MSC公司:68-06 60年第68季度 00B25型 94C12号机组 PDF格式BibTeX公司 XML格式
辛迪·艾斯纳;阿米尔·纳希尔;凯伦·约拉夫 通过组合推理对功率选通设计进行功能验证。 (英语) Zbl 1185.68130号 形式方法系统。设计。 35,第1号,40-55(2009).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}等人,《形式方法系统》。设计。35,第1号,40-55(2009;Zbl 1185.68130) 全文: 内政部
查基,S。;E.克拉克。;A.格罗斯。;Ouaknine,J。;O·斯特里赫曼。;约拉夫,K。 顺序和并发C程序的有效验证。 (英语) Zbl 1101.68677号 形式方法系统。设计。 25,编号2-3,129-166(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。25,编号2--3,129--166(2004;Zbl 1101.68677) 全文: 内政部
埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 使用SAT对ANSI-C程序进行谓词抽象。 (英语) Zbl 1090.68022号 形式方法系统。设计。 25,编号2-3,105-127(2004).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《形式方法系统》。设计。25,编号2--3,105-127(2004;Zbl 1090.68022) 全文: 内政部
凯伦·约拉夫;奥尔纳·格伦伯格 保持时序逻辑的状态空间约简的静态分析。 (英语) Zbl 1073.68055号 形式方法系统。设计。 25,第1期,67-96(2004).MSC公司:60年第68季度 68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Yorav}和\textit{O.Grumberg},《形式方法系统》。设计。25,第1号,67-96(2004年;兹bl 1073.68055) 全文: 内政部