克莱门特巴拉布里加;忘了,Julien;乔迪·鲁伊斯 汇编代码中数组的关系抽象解释。 (英语) Zbl 1522.68144号 形式方法系统。设计。 59,编号1-3,103-135(2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Ballabriga}等人,《形式方法系统》。设计。59,编号1-3103-135(2021;兹bl 1522.68144) 全文: 内政部 哈尔
托马斯·帕尼;乔治·威森巴赫;弗洛里安·祖勒格 参数化并发共享内存程序的可靠性保证界分析。应用于证明非阻塞算法是有界无锁的。 (英语) Zbl 1522.68161号 形式方法系统。设计。 57,第2期,270-302(2021).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Pani}等人,《形式方法系统》。设计。57,第2号,270--302(2021;Zbl 1522.68161) 全文: 内政部 OA许可证
卢卡什·霍利克;拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 无限状态系统的迹包含的抽象精化和反链。 (英语) Zbl 1506.68046号 形式方法系统。设计。 55,第3期,137-170(2020年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人,《形式方法系统》。设计。55,第3号,137-170(2020年;兹bl 1506.68046) 全文: 内政部 arXiv公司 哈尔
康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 分离逻辑片段的合成蕴涵检查。 (英语) Zbl 1377.68073号 形式方法系统。设计。 51,第3期,575-607(2017).MSC公司:68号30 03B70号 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}等人,《形式方法系统》。设计。51,第3号,575--607(2017;Zbl 1377.68073) 全文: 内政部 哈尔
乔纳森·海宁;克里斯蒂娜·詹森;Joost-Pieter卡托恩;诺尔,托马斯 Juggrnaut:使用图形语法抽象无限堆结构。 (英语) Zbl 1341.68033号 形式方法系统。设计。 47,第2期,159-203(2015).MSC公司:68第05页 68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Heinen}等人,《形式方法系统》。设计。47,No.2,159--203(2015;Zbl 1341.68033) 全文: 内政部
于、方;穆阿特·阿尔卡拉夫;特维克布尔坦;奥斯卡·H·伊巴拉。 基于自动符号字符串分析的漏洞检测。 (英语) Zbl 1291.68272号 形式方法系统。设计。 44,第1期,44-70(2014).MSC公司:60年第68季度 65年第68季度 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,《形式方法系统》。设计。44,第1号,44--70(2014;Zbl 1291.68272) 全文: 内政部
北伯特兰。;施诺贝伦,P。 结构良好的符号模型检查中的可计算不动点。 (英语) Zbl 1291.68247号 形式方法系统。设计。 43,第2期,233-267(2013).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}和\textit{P.Schnoebelen},《形式方法系统》。设计。43,No.2,233--267(2013;Zbl 1291.68247) 全文: 内政部
彼得·哈贝梅尔;卢卡什·霍利克;亚当·罗加列维奇;Šimáckek,Jiří;汤姆·沃纳 用于验证堆操作的森林自动机。 (英语) Zbl 1284.68398号 形式方法系统。设计。 41,第1期,83-106(2012).MSC公司:60年第68季度 65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}等人,《形式方法系统》。设计。41,第1号,第83-106条(2012;Zbl 1284.68398) 全文: 内政部
皮埃尔·甘蒂;鲁帕克·马朱姆达尔;本杰明·蒙梅格 有界欠近似。 (英语) Zbl 1247.68140号 形式方法系统。设计。 40,编号2206-231(2012).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}等人,《形式方法系统》。设计。40,第2号,206--231(2012;Zbl 1247.68140) 全文: 内政部 arXiv公司
艾哈迈德·博阿贾尼;马里乌斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 带有列表的程序是计数器自动机。 (英语) Zbl 1217.68059号 形式方法系统。设计。 38,第2期,158-192(2011).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。38,第2号,158--192(2011;Zbl 1217.68059) 全文: 内政部 哈尔
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 具有全局条件的无限状态过程的近似参数化验证。 (英语) 兹比尔1176.68110 形式方法系统。设计。 34,第2期,126-156(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《形式方法系统》。设计。34,第2号,126--156(2009;Zbl 1176.68110) 全文: 内政部
约琴·艾辛格;费利克斯·克莱特克 不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。 (英语) Zbl 1165.68393号 形式方法系统。设计。 33,编号1-3,85-115(2008).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisinger}和\textit{F.Klaedtke},表格方法系统。设计。33,编号1--3,85-115(2008;Zbl 1165.68393) 全文: 内政部 链接
萨加尔查基;斯特里赫曼(Ofer Strichman) 用(L^{*})对假设保证推理进行了三种优化。 (英语) Zbl 1147.68569号 形式方法系统。设计。 32,第3期,267-284(2008).MSC公司:60年第68季度 68问题85 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}和\textit{O.Strichman},形式方法系统。设计。32,第36267-284号(2008年;兹bl 1147.68569) 全文: 内政部
阿比·瓦尔丹;马赫什·维斯瓦纳坦 学习验证分支时间属性。 (英语) Zbl 1118.68554号 形式方法系统。设计。 31,第1期,35-61(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Vardhan}和\textit{M.Viswanathan},《形式方法系统》。设计。31,第1号,35--61(2007;Zbl 1118.68554) 全文: 内政部 链接