刘江超;对手,泽维尔 基于非连续分区的数组内容静态分析。 (英语) 兹比尔1379.68096 计算。语言系统。结构。 47,第1部分,104-129(2017).MSC公司:68号30 第68季度第60季度 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) 全文: 内政部 哈尔
安德烈·丹;尤里·梅什曼;马丁·维切夫;叶哈夫,埃兰 放松记忆模型下验证的有效抽象。 (英语) Zbl 1379.68237号 计算。语言系统。结构。 47,第1部分,62-76(2017).MSC公司:第68季度第60季度 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公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Adjé}和\textit{P.-L.Garoche},计算机。语言系统。结构。47,第1部分,44-61(2017;兹bl 1379.68234) 全文: 内政部 arXiv公司
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 用于检查代数集和半代数集的正不变性的证明规则层次。 (英语) Zbl 1379.68238号 计算。语言系统。结构。 47,第1部分,19-43(2017).MSC公司:第68季度第60季度 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 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.DSouza}(编辑)和\textit{A.Lal}(主编),计算。语言系统。结构。47,第1部分,1(2017;Zbl 1379.68006) 全文: 内政部
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 (英语) Zbl 1379.68239号 计算。语言系统。结构。 47,第1部分,2-18(2017).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}和\textit{J.P.Gallagher},计算。语言系统。结构。47,第1部分,2--18(2017;Zbl 1379.68239) 全文: 内政部