乔恩,帕沃;埃德蒙·克拉克(Edmund M.Clarke)。;托马斯·亨辛格(Thomas A.Henzinger)。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔(Samanta,Roopsha);托尔斯滕·塔拉赫 使用同步合成从非抢占调度到抢占调度。 (英语) Zbl 1360.68346号 形式方法系统。设计。 50,编号2-3,97-139(2017).MSC公司:68甲19 68平方米 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人,《形式方法系统》。设计。50,编号2--3,97-139(2017;Zbl 1360.68346) 全文: 内政部
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 贝叶斯统计模型检查及其在Stateflow/Simulink验证中的应用。 (英语) Zbl 1291.68273号 形式方法系统。设计。 43,第2期,338-367(2013).MSC公司:60年第68季度 87年第68季度 10层62层 62F03型 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人,《形式方法系统》。设计。43,No.2,338--367(2013;Zbl 1291.68273) 全文: 内政部
埃德蒙·克拉克;亚历山大·唐泽;Legay、Axel 基于仿真的混合模拟电路概率模型检查。 (英语) Zbl 1207.68205号 形式方法系统。设计。 36,第2期,97-113(2010).MSC公司:60年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《形式方法系统》。设计。36,第2号,97-113(2010;Zbl 1207.68205) 全文: 内政部
安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 计算混合系统的微分不变量作为不动点。 (英语) Zbl 1180.93024号 形式方法系统。设计。 35,第1期,98-120(2009).MSC公司:93B11号机组 47N10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{E.M.Clarke},《形式方法系统》。设计。35,第1号,98-120(2009年;Zbl 1180.93024) 全文: 内政部
希曼舒·杰恩;埃德蒙·克拉克(Edmund M.Clarke)。;奥尔纳·格伦伯格 线性丢番图方程和线性模方程的有效Craig插值。 (英语) Zbl 1186.68013号 形式方法系统。设计。 35,第1期,6-39页(2009年).MSC公司:2007年7月68日 60年第68季度 2004年11月 PDF格式BibTeX公司 XML格式引用 \textit{H.Jain}等人,《形式方法系统》。设计。35,第1号,第6--39号(2009;Zbl 1186.68013) 全文: 内政部 链接
萨加·查基;埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 通过组件可替换性分析验证不断发展的软件。 (英语) Zbl 1147.68047号 形式方法系统。设计。 32,第3期,235-266(2008).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。32,编号3,235--266(2008;Zbl 1147.68047) 全文: 内政部 链接
埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 使用谓词抽象验证SpecC。 (英语) Zbl 1117.68046号 形式方法系统。设计。 30,第1期,5-28(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《形式方法系统》。设计。30,第1号,第5--28号(2007;Zbl 1117.68046) 全文: 内政部
查基,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 1014.68147号 形式方法系统。设计。 20,第2期,159-186(2002).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Berezin}等人,《形式方法系统》。设计。20,第2号,159--186(2002;Zbl 1014.68147) 全文: 内政部
埃德蒙·克拉克;阿明·比尔;理查德·雷米;朱云山 使用可满足性求解进行有界模型检查。 (英语) Zbl 0985.68038号 形式方法系统。设计。 19,第1期,7-34(2001).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《形式方法系统》。设计。19,第1号,第7--34号(2001;Zbl 0985.68038) 全文: 内政部