刘江超;对手,泽维尔 基于非连续分区的数组内容静态分析。 (英语) Zbl 1379.68096号 计算。语言系统。结构。 47,第1部分,104-129(2017).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{X.对手},计算。语言系统。结构。47,第1部分,104--129(2017;Zbl 1379.68096) 全文: 内政部 哈尔
城市,卡特里娜;安托万·米内 通过抽象解释证明时间属性的排序函数推断。 (英语) Zbl 1379.68101号 计算。语言系统。结构。 47,第1部分,77-103(2017).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban和\textit{A.Miné},计算。语言系统。结构。47,第1部分,77--103(2017;Zbl 1379.68101) 全文: 内政部 哈尔
安德烈·丹;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫 在宽松的内存模型下进行验证的有效抽象。 (英语) 兹比尔1379.68237 计算。语言系统。结构。 47,第1部分,62-76(2017).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Dan}等人,《计算》。语言系统。结构。47,第1部分,62--76(2017;Zbl 1379.68237) 全文: 内政部
阿萨勒阿杰;皮埃尔·洛伊奇·卡洛什 切换仿射控制程序的(k)-归纳分段二次不变量的自动合成。 (英语) Zbl 1379.68234号 计算。语言系统。结构。 47,第1部分,44-61(2017).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Adjé}和\textit{P.-L.Garoche},计算。语言系统。结构。47,第1部分,44-61(2017;Zbl 1379.68234) 全文: 内政部 arXiv公司
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 用于检查代数集和半代数集的正不变性的证明规则层次。 (英语) Zbl 1379.68238号 计算。语言系统。结构。 47,第1部分,19-43(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghorbal}等人,计算。语言系统。结构。47,第1部分,19-43(2017;Zbl 1379.68238) 全文: 内政部
迪帕克·DSouza(编辑);阿卡什·拉尔(编辑) 第十六届国际验证、模型检验和抽象解释会议专刊。 (英语) Zbl 1379.68006号 计算。语言系统。结构。 47,第1部分,第1节(2017年).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.DSouza}(编辑)和\textit{A.Lal}(主编),计算。语言系统。结构。47,第1部分,1(2017;兹bl 1379.68006) 全文: 内政部
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 (英语) Zbl 1379.68239号 计算。语言系统。结构。 47,第1部分,2-18(2017).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}和\textit{J.P.Gallagher},计算。语言系统。结构。47,第1部分,2--18(2017;Zbl 1379.68239) 全文: 内政部
Rekha R.派。 冗余表达式检测:SSA中一种精确、高效、实用的算法。 (英语) Zbl 1387.68070号 计算。语言系统。结构。 46, 167-181 (2016).MSC公司:68号30 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Pai},计算。语言系统。结构。46、167--181(2016;Zbl 1387.68070) 全文: 内政部
和平公园;阿维纳什·马利克;萨尔西奇、佐兰 编译和验证安全关键反应系统的SC-SystemJ程序。 (英语) Zbl 1387.68053号 计算。语言系统。结构。 44,C部分,251-282(2015).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Park}等人,计算。语言系统。结构。44,C部分,251--282(2015;Zbl 1387.68053) 全文: 内政部
亚历杭德罗·桑切斯;亚历山大·马德拉;路易斯·巴博萨。 关于架构重构的验证。 (英语) Zbl 1387.68071号 计算。语言系统。结构。 44,C部分,218-237(2015).MSC公司:68号30 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sanchez}等人,《计算》。语言系统。结构。44,C部分,218--237(2015;Zbl 1387.68071) 全文: 内政部 链接
佩特拉·考夫曼;马丁·克罗内格;安德烈亚斯·普范德勒;马蒂娜·塞德尔;马格达莱娜·维德尔 行为多视图模型的图内和图间一致性检查。 (英语) Zbl 1387.68051号 计算。语言系统。结构。 44,A部分,72-88(2015).MSC公司:68甲15 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kaufmann}等人,计算。语言系统。结构。44,A部分,72--88(2015;Zbl 1387.68051) 全文: 内政部
加利纳州贝索娃;多米尼克·斯坦肯;海克,韦尔海姆 基于语法的模型转换:定义、执行和质量属性。 (英语) Zbl 1387.68067号 计算。语言系统。结构。 43, 116-138 (2015).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Besova}等人,《计算》。语言系统。结构。43、116--138(2015;Zbl 1387.68067) 全文: 内政部
阿戈斯蒂诺·科尔特斯;朱利娅·科斯坦蒂尼;皮埃特罗·费拉拉 梯形阶梯函数的抽象域。 (英语) Zbl 1387.68069号 计算。语言系统。结构。 43, 41-68 (2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cortesi}等人,《计算》。语言系统。结构。43、41-68(2015;Zbl 1387.68069) 全文: 内政部
Ko、Yoonseok;Heo,Kihong先生;哦,哈乔 用于详细语义分析的稀疏评估技术。 (英语) Zbl 1308.68043号 计算。语言系统。结构。 40,编号3-4,99-111(2014).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ko}等人,计算。语言系统。结构。40,编号3-4,99-111(2014;兹bl 1308.68043) 全文: 内政部
伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 使用区域类型系统验证指针和字符串分析。 (英语) Zbl 1290.68034号 计算。语言系统。结构。 39,第2号,49-65(2013).MSC公司:68号30 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}等人,计算。语言系统。结构。39、第2号、第49-65号(2013;Zbl 1290.68034) 全文: 内政部
尼科斯·齐夫列科斯 用状态表示简单语言中的程序等价性。 (英语) Zbl 1248.68155号 计算。语言系统。结构。 38,第2期,181-198(2012).MSC公司:68号30 68问题85 第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Tzevelekos},计算。语言系统。结构。38,第2号,181--198(2012;Zbl 1248.68155) 全文: 内政部
拉朱·哈尔德;阿戈斯蒂诺·科尔特斯 数据库查询语言的抽象解释。 (英语) Zbl 1248.68182号 计算。语言系统。结构。 38,第2期,123-157(2012).MSC公司:第68页,共15页 第68季度55 68页第10页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Halder}和\textit{A.Cortesi},计算。语言系统。结构。38,第2号,第123--157条(2012;Zbl 1248.68182) 全文: 内政部
阿戈斯蒂诺·科尔特斯;马泰奥·扎尼奥利 用于抽象解释的加宽和变窄运算符。 (英语) 兹比尔1218.68100 计算。语言系统。结构。 37,第1期,24-42(2011).MSC公司:60年第68季度 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cortesi}和\textit{M.Zanioli},计算。语言系统。结构。37,第1号,24-42(2011;Zbl 1218.68100) 全文: 内政部
斯里哈里·苏库马兰;阿肖克·斯列尼瓦斯;梅塔,拉文德拉 依赖条件图:程序点之间依赖的精确条件。 (英语) Zbl 1387.68073号 计算。语言系统。结构。 36,第1期,96-121(2010).MSC公司:68号30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Sukumaran}等人,计算。语言系统。结构。36,第1号,96-121(2010;Zbl 1387.68073) 全文: 内政部
A.多维尔。;E.昆塔雷利。 应用模型检查解决半结构化数据的查询。 (英语) Zbl 1387.68104号 计算。语言系统。结构。 35,第2期,143-172(2009).MSC公司:第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}和\textit{E.Quintarelli},计算。语言系统。结构。35,第2号,143--172(2009;Zbl 1387.68104) 全文: 内政部 链接
凯文·克莱尔曼;米歇尔·切萨姆;克里希纳普拉萨德·蒂鲁纳拉扬 改进协变类型检查的机制。 (英语) 兹比尔1125.68074 计算。语言系统。结构。 34,第1期,第1-17页(2008).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.Cleerman}等人,《计算》。语言系统。结构。34,编号1,1--17(2008;Zbl 1125.68074) 全文: 内政部
安娜丽莎·博西;里卡多·福卡尔迪;卡拉广场;萨宾娜·罗西 验证持久安全属性。 (英语) Zbl 1072.68065号 计算。语言系统。结构。 30,编号3-4,231-258(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人,计算。语言系统。结构。30,编号3--4,231--258(2004;Zbl 1072.68065) 全文: 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪;弗拉米尼娅·卢西奥。;卡拉广场 移动环境的嵌套分析。 (英语) Zbl 1072.68066号 计算。语言系统。结构。 30,编号3-4,207-230(2004).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人,计算。语言系统。结构。30,编号3--4,207--230(2004;Zbl 1072.68066) 全文: 内政部
Meenakshi,B。;拉马努贾姆,R。 关于分层消息传递系统的推理。 (英语) Zbl 1072.68067号 计算。语言系统。结构。 30,第3-4号,171-206(2004).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Meenakshi}和\textit{R.Ramanujam},计算机。语言系统。结构。30,编号:3-4171--206(2004年;兹bl 1072.68067) 全文: 内政部
勒诺尔·扎克;阿米尔·普努利 借助参数化系统进行模型检查和抽象(调查)。 (英语) Zbl 1072.68069号 计算。语言系统。结构。 30,第3-4139-169号(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}和\textit{A.Pnueli},计算。语言系统。结构。30,编号3--4,139-169(2004;Zbl 1072.68069) 全文: 内政部
西斯特拉·A·普拉萨德 在模型检查中使用对称约简。 (英语) Zbl 1072.68068号 计算。语言系统。结构。 30,编号3-4,99-137(2004).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla},计算。语言系统。结构。30,编号3--4,99-137(2004;Zbl 1072.68068) 全文: 内政部