潘卡杰·库马尔·卡利塔;Singal,Dhruv公司;帕拉克·阿加瓦尔;萨科特Jhunjhunwala;罗伊,苏巴吉特 LL(1)解析的符号编码及其应用。 (英语) Zbl 07815092号 形式方法系统。设计。 61,编号2-3,338-379(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Kalita}等人,《形式方法系统》。设计。61,编号2--3,338--379(2022;Zbl 07815092) 全文: 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;阿伊拉特·哈利莫夫 线性有序数据域上寄存器自动机的Church综合。 (英语) 兹伯利07815091 形式方法系统。设计。 61,编号2-3,290-337(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,《形式方法系统》。设计。61,编号2--3,290-337(2022;Zbl 07815091) 全文: 内政部 arXiv公司 哈尔
弗洛里安·伦金;菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier);亚历山大·杜雷特·卢茨;阿德里安·蓬梅莱 解剖ltlsynt公司. (英语) Zbl 07815090号 形式方法系统。设计。 61,编号2-3,248-289(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Renkin}等人,《形式方法系统》。设计。61,编号2--3,248--289(2022;Zbl 07815090) 全文: 内政部
山口,Masaomi;松田,Kazutaka;克里斯蒂娜·大卫;王蒙 同步位:使用单向草图合成双向程序。 (英语) Zbl 07815089号 形式方法系统。设计。 61,编号2-3,198-247(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Yamaguchi}等人,《形式方法系统》。设计。61,编号2-3198-247(2022;Zbl 07815089) 全文: 内政部 arXiv公司 OA许可证
娜塔莎·约加南达·杰普;汤姆,梅尔哈姆;丹尼尔·克罗宁 使用模拟关系通过等价性检查增强主动模型学习。 (英语) Zbl 07815088号 形式方法系统。设计。 61,编号2-3,164-197(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Y.Jeppu}等人,《形式方法系统》。设计。61,编号2--3,164-197(2022;Zbl 07815088) 全文: 内政部 OA许可证
朱塞佩·德贾科莫;安东尼奥·迪·斯塔西奥;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。;朱淑芳 时间合成中的有限跟踪和广义反应性规范。 (英语) Zbl 07815087号 形式方法系统。设计。 61,编号2-3139-163(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,《形式方法系统》。设计。61,编号2--3,139-163(2022;Zbl 07815087) 全文: 内政部 OA许可证
伊丽莎白·波尔格林(编辑);吉尔勒莫·阿尔贝托·佩雷斯(编辑) SYNT 2021系统设计专刊中形式化方法的前言。 (英语) Zbl 07815086号 形式方法系统。设计。 61,编号2-3,137-138(2022).MSC公司:00亿Bxx 68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Polgreen}(编辑)和\textit{G.A.Perez}(主编),《形式方法系统》。设计。61,编号2--3,137--138(2022;Zbl 07815086) 全文: 内政部
费利克斯·A·沃尔夫。;马尔特·施沃尔霍夫;彼得·米勒 复杂逻辑的简明大纲:TaDA的校对大纲检查器。 (英语) Zbl 07785153号 形式方法系统。设计。 61,编号1,110-136(2022).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Wolf}等人,《形式方法系统》。设计。61,编号1,110--136(2022;Zbl 07785153) 全文: 内政部 arXiv公司 OA许可证
马塞尔·穆斯布鲁克;埃齐奥·巴托西;Joost-Pieter卡托恩;劳拉·科瓦奇 概率终止工具呈琥珀色。 (英语) Zbl 07785152号 形式方法系统。设计。 61,第1期,90-109(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Moosbrugger}等人,《形式方法系统》。设计。61,第1号,90--109(2022;Zbl 07785152) 全文: 内政部 arXiv公司 OA许可证
卞金亭;Hiep,Hans-Dieter A。;德波尔(Frank S。;斯蒂恩·德古乌 在KeY中集成ADT及其在基于历史的收集推理中的应用。 (英语) 兹伯利07785151 形式方法系统。设计。 61,编号1,63-89(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{卞杰}等,《形式方法系统》。设计。61,编号1,63--89(2022;Zbl 07785151) 全文: 内政部 OA许可证
安德烈亚·普费舍尔;艾切尔尼格,伯恩哈德·K。 指纹识别和蓝牙设备自动学习分析。 (英语) Zbl 07785150号 形式方法系统。设计。 61,第1号,35-62(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Pferscher}和\textit{B.K.Aichernig},《形式方法系统》。设计。61,编号1,35--62(2022;Zbl 07785150) 全文: 内政部 arXiv公司 OA许可证
费利佩·戈罗斯蒂亚加;塞萨尔·桑切斯 使用工具HStriver对实时事件流进行运行时验证。 (英语) Zbl 07785149号 形式方法系统。设计。 61,第1期,第3-34页(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Gorostiaga}和\textit{C.Sánchez},《形式方法系统》。设计。61,编号1,3--34(2022;Zbl 07785149) 全文: 内政部
玛丽克·赫斯曼(编辑);Păsăreanu,科琳娜·s。(编辑);詹乃军(编辑) “形式方法2021”系统设计专刊中形式方法的前言。 (英语) Zbl 07785148号 形式方法系统。设计。 61,第1期,第1-2期(2022年).MSC公司:00亿Bxx PDF格式BibTeX公司 XML格式引用 \textit{M.Huisman}(编辑)等,《形式方法系统》。设计。61,编号1,1--2(2022;Zbl 07785148) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,编号3,452-481(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: 内政部 OA许可证
维杰·加内什;Sanjit A.Seshia。;Jha,萨默什 机器学习和逻辑:人工智能的新前沿。 (英语) Zbl 07757157号 形式方法系统。设计。 60,第3期,426-451(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Ganesh}等人,Form.Methods Syst。设计。60,编号3,426--451(2022;Zbl 07757157) 全文: 内政部
克劳斯·哈维隆德;多龙·贝利德 关于监测线性时间特性。 (英语) Zbl 07757156号 形式方法系统。设计。 60,编号3,405-425(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{D.Peled},《形式方法系统》。设计。60,编号3,405--425(2022;Zbl 07757156) 全文: 内政部
马蒂亚斯·弗勒里;阿明·比尔 Kissat with Kittens中的采矿定义。 (英语) Zbl 07757155号 形式方法系统。设计。 60,编号3,381-404(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Fleury}和\textit{A.Biere},《形式方法系统》。设计。60,编号3,381--404(2022;Zbl 07757155) 全文: 内政部 OA许可证
塞皮德·阿萨迪;马丁·布利查;安蒂·E·J·海瓦·里宁。;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 通过概要修复对基于SMT的程序更改进行验证。 (英语) Zbl 07757154号 形式方法系统。设计。 60,编号3,350-380(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Asadi}等人,《形式方法系统》。设计。60,编号3,350-380(2022;Zbl 07757154) 全文: 内政部 OA许可证
普里塔姆·罗伊;萨加·查基 通过协调验证实现硬件等价性检查的高覆盖率。 (英语) Zbl 07757153号 形式方法系统。设计。 60,第3号,329-349(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Roy}和\textit{S.Chaki},表格方法系统。设计。60,编号3,329--349(2022;Zbl 07757153) 全文: 内政部
高思春;奥尔纳·格伦伯格;保罗·祖利亚尼 悼词:埃德蒙·梅尔森·克拉克(1945-2020)。 (英语) Zbl 1522.01062号 形式方法系统。设计。 60,第3号,327-328(2022).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Gao}等人,《形式方法系统》。设计。60,第3号,327--328(2022;Zbl 1522.01062) 全文: 内政部
卡茨,盖伊;克拉克·巴雷特;大卫·L·迪尔。;凯尔·朱利安;Mykel J.Kochenderfer。 Reluplex:关于深层神经网络的推理演算。 (英语) Zbl 1522.68328号 形式方法系统。设计。 60,编号1,87-116(2022).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}等人,《形式方法系统》。设计。60,编号1,87--116(2022;Zbl 1522.68328) 全文: 内政部
蒂姆·夸特曼;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 多目标马尔可夫自动机。 (英语) Zbl 1522.68345号 形式方法系统。设计。 60,编号1,33-86(2022).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Quatmann}等人,《形式方法系统》。设计。60,编号1,33--86(2022;Zbl 1522.68345) 全文: 内政部 arXiv公司
拉杰夫·阿鲁尔;约瑟夫·德维埃蒂;奥马尔·纳瓦罗·莱娅;尼米特·辛哈尼亚 GPU程序中未缓冲访问的静态检测。 (英语) Zbl 1522.68140号 形式方法系统。设计。 60,编号1,1-32(2022).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。60,编号1,1--32(2022;Zbl 1522.68140) 全文: 内政部
G.库尔蒂斯。;狄克逊,C。;M·费希尔。;利西萨,A。 更正为:“通过一阶时序逻辑对先导/跟随系统进行参数化验证”。 (英语) Zbl 1511.68161号 形式方法系统。设计。 60,第2号,325-326(2022).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kourtis}等人,《形式方法系统》。设计。60,编号2,325-326(2022;兹bl 1511.68161) 全文: 内政部
亚历山德罗·西马蒂;田,春;斯特凡诺·托内塔 基于假设的运行时验证。 (英语) Zbl 07683090号 形式方法系统。设计。 60,第2号,277-324(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号2,277--324(2022;Zbl 07683090) 全文: 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 反应合成中的特定鲁棒性。 (英语) Zbl 07683089号 形式方法系统。设计。 60,第2号,259-276(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。60,第2号,259--276(2022;Zbl 07683089) 全文: 内政部
查克拉波蒂,苏普拉特克;油炸,Dror;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 通过输入-输出分离进行功能合成。 (英语) Zbl 07683088号 形式方法系统。设计。 60,第2期,228-258(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人,《形式方法系统》。设计。60,第2号,228--258(2022;Zbl 07683088) 全文: 内政部 arXiv公司
泰瑟·图利;叶欣 自修改代码的LTL模型检查。 (英语) Zbl 07683087号 形式方法系统。设计。 60,第2期,195-227(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Touili}和\textit{X.Ye},形式方法系统。设计。60,第2号,195--227(2022;Zbl 07683087) 全文: 内政部 arXiv公司 哈尔
利奥·亨利;蒂埃里·杰伦;尼古拉斯·马基 定时系统离线测试的控制策略。 (英语) Zbl 07683086号 形式方法系统。设计。 第2期第60页,第147-194页(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Henry}等人,《形式方法系统》。设计。60,第2号,147--194(2022;Zbl 07683086) 全文: 内政部 哈尔
卡波迪,G。;卡穆拉蒂,体育。;M.帕莱纳。;帕西尼,P。 带引导精化的插值:在基于SAT的无界模型检查中重新访问增量。 (英语) Zbl 07683085号 形式方法系统。设计。 60,第2期,117-146(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。60,第2号,117--146(2022;Zbl 07683085) 全文: 内政部
埃蒂安·安德烈;黄家阮;劳蕾·佩特鲁奇;孙骏 非零度假设下的分布式参数模型检验时间自动机。 (英语) Zbl 1522.68294号 形式方法系统。设计。 59,编号1-3,253-290(2021).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《形式方法系统》。设计。59,编号1--3,253--290(2021;Zbl 1522.68294) 全文: 内政部
斯里尼瓦斯·皮尼塞蒂;安吉特·普拉丹;帕塔·鲁普;斯塔夫罗斯·特里帕基斯 重新访问合成运行时强制。 (英语) Zbl 1522.68342号 形式方法系统。设计。 59,编号1-3,205-252(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人,《形式方法系统》。设计。59,编号1--3,205-252(2021;Zbl 1522.68342) 全文: 内政部
科托Mascle;丹尼尔·奈德;马克西米利安·施温格;保罗·塔布阿达;亚历山大·韦内特;马丁·齐默尔曼 从LTL到rLTL监控:通过健壮语义改进可监控性。 (英语) Zbl 1522.68334号 形式方法系统。设计。 59,编号1-3170-204(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Mascle}等人,《形式方法系统》。设计。59,编号1--3,170-204(2021;Zbl 1522.68334) 全文: 内政部
马丁·科尔布尔;斯特凡·洛伊;托马斯·维斯 定时系统的自动修复。 (英语) Zbl 1522.68366号 形式方法系统。设计。 59,编号1-3,136-169(2021).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kölbl}等人,《形式方法系统》。设计。59,编号1--3,136-169(2021;Zbl 1522.68366) 全文: 内政部
克莱门特巴拉布里加;算了吧,朱利安;乔迪·鲁伊斯 汇编代码中数组的关系抽象解释。 (英语) Zbl 1522.68144号 形式方法系统。设计。 59,编号1-3,103-135(2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Ballabriga}等人,《形式方法系统》。设计。59,编号1--3,103-135(2021;Zbl 1522.68144) 全文: 内政部 哈尔
大卫·布雷索林;El-Fakih,哈立德;蒂齐亚诺别墅;尼娜·叶夫图申科 确定性定时有限状态机的等价性检查和交集。 (英语) Zbl 1522.68260号 形式方法系统。设计。 59,编号1-3,77-102(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《形式方法系统》。设计。59,编号1--3,77-102(2021;Zbl 1522.68260) 全文: 内政部 arXiv公司
费兰多,安吉洛;拉斐尔·卡多佐。;玛丽·法雷尔;马特·勒克库克;法比奥·帕帕奇尼;迈克尔·费希尔;维维亚娜·马斯卡迪 弥合单模型和多模型预测运行时验证之间的差距。 (英语) Zbl 1522.68315号 形式方法系统。设计。 59,编号1-3,44-76(2021).MSC公司:60年第68季度 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferrando}等人,《形式方法系统》。设计。59,编号1--3,44-76(2021;Zbl 1522.68315) 全文: 内政部
莉丝·法斯特鲁普 的截断定理光伏-模型。 (英语) 兹比尔1522.68150 形式方法系统。设计。 59,编号1-3,21-43(2021).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup},形式方法系统。设计。59,编号1--3,21-43(2021;Zbl 1522.68150) 全文: 内政部 arXiv公司
戴维·莫尼奥 如果添加了过程调用,缓存访问静态分析中的复杂性差距就会增大。 (英语) Zbl 1522.68158号 形式方法系统。设计。 59,编号1-3,1-20(2021).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux},形式方法系统。设计。59,编号1--3,1--20(2021;Zbl 1522.68158) 全文: 内政部 arXiv公司 哈尔
达纳·菲斯曼(编辑);辛格,里沙布(编辑);阿曼多·索拉勒扎马(编辑) 语法指导合成前言专刊。 (英语) 1490.00032兹罗提 形式方法系统。设计。 58,第3号,469-470(2021).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}(编辑)等,《形式方法系统》。设计。58,第3号,469--470(2021;Zbl 1490.00032) 全文: 内政部
G.库尔蒂斯。;狄克逊,C。;M·费希尔。;利西萨,A。 通过一阶时序逻辑对先导/跟随系统进行参数化验证。 (英语) Zbl 1492.68087号 形式方法系统。设计。 58,第3号,440-468(2021); 更正同上,第60号,第325-326(2022)。MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kourtis}等人,《形式方法系统》。设计。58,第3号,440-468(2021;Zbl 1492.68087) 全文: 内政部
罗希特·杜雷加;克里斯汀·罗泽尔。 通过可重用可达状态近似进行增量设计空间模型检查。 (英语) Zbl 1492.68085号 形式方法系统。设计。 58,第3号,375-398(2021).MSC公司:60年第68季度 68T20型 90B20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Dureja}和\textit{K.Y.Rozier},《形式方法系统》。设计。58,第3号,375--398(2021;Zbl 1492.68085) 全文: 内政部 链接
拉杰夫·阿鲁尔;达纳·菲斯曼 彩色嵌套单词。 (英语) Zbl 1492.68076号 形式方法系统。设计。 58,第3期,347-374(2021).MSC公司:65年第68季度 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Fisman},《形式方法系统》。设计。58,编号3,347--374(2021;Zbl 1492.68076) 全文: 内政部
伦纳特·贝林格;安德鲁·W·阿佩尔。 C程序模块化验证中的抽象和包含。 (英语) Zbl 1505.68023号 形式方法系统。设计。 58,编号1-2,322-345(2021).MSC公司:60年第68季度 03B70号 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}和\textit{A.W.Appel},表格方法系统。设计。58,编号1--2,322--345(2021;Zbl 1505.68023) 全文: 内政部
雷卡·派;阿披实·辛格;迪帕克·D’Souza;米纳克什·D’Souza;普拉卡什,普拉蒂巴 用于检测RTOS内核中高级竞争的静态分析。 (英语) Zbl 1505.68006号 形式方法系统。设计。 58,编号1-2,294-321(2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Pai}等人,《形式方法系统》。设计。58,编号1--2,294--321(2021;Zbl 1505.68006) 全文: 内政部
格雷姆·史密斯;尼古拉斯·考夫林;托比·默里 ARM和POWER多核处理器上的信息流控制。 (英语) Zbl 1505.68001号 形式方法系统。设计。 58,编号1-2,251-293(2021).MSC公司:2007年7月68日 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}等人,《形式方法系统》。设计。58,编号1--2,251--293(2021;Zbl 1505.68001) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 (英语) Zbl 1505.68025号 形式方法系统。设计。 58,编号1-2,188-250(2021).MSC公司:60年第68季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《形式方法系统》。设计。58,编号1-2188-250(2021;兹bl 1505.68025) 全文: 内政部 arXiv公司
菲利普·科纳;Jens Bendisposto公司;扬尼克·邓克劳;塞巴斯蒂安·克林斯;Michael Leuschel先生 将正式规范集成到应用程序中:ProB Java API。 (英语) Zbl 1505.68024号 形式方法系统。设计。 58,编号1-2160-187(2021).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Körner}等人,《形式方法系统》。设计。58,编号1--2,160-187(2021;Zbl 1505.68024) 全文: 内政部
桑德罗·斯塔基;塞萨尔·桑切斯;杰拉尔多·施奈德;博尔祖·博纳克达尔普尔 使用隐私应用程序对超属性进行灰盒监控。 (英语) Zbl 1502.68187号 形式方法系统。设计。 58,编号1-2,126-159(2021).MSC公司:60年第68季度 03B44号 68第27页 PDF格式BibTeX公司 XML格式引用 \textit{S.Stucki}等人,《形式方法系统》。设计。58,编号1--2,126-159(2021;Zbl 1502.68187) 全文: 内政部
弗雷德里克·朗;拉杜·马特埃斯库;弗朗科·马扎蒂 通过组合互模拟对并发系统进行组合验证。 (英语) Zbl 1526.68008号 形式方法系统。设计。 58,编号1-2,83-125(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人,《形式方法系统》。设计。58,编号1--2,83-125(2021;Zbl 1526.68008) 全文: 内政部 哈尔
西蒙·詹奇;米勒,大卫;克里斯特尔·拜尔;约阿希姆·克莱因 通过交替自动机的消歧,从LTL到明确的Büchi自动机。 (英语) Zbl 1505.68022号 形式方法系统。设计。 58,编号1-2,42-82(2021).MSC公司:65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jantsch}等人,《形式方法系统》。设计。58,编号1--2,42-82(2021;Zbl 1505.68022) 全文: 内政部 arXiv公司
安德鲁·索戈孔;斯特凡·米奇;Tan,Yong Kiam先生;凯瑟琳·科德威尔;安德烈·普拉泽 飞马座:声音连续不变生成。 (英语) Zbl 1505.68045号 形式方法系统。设计。 58,编号1-2,5-41(2021).MSC公司:68伏15 34-04 60年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,《形式方法系统》。设计。58,编号1--2,5--41(2021;Zbl 1505.68045) 全文: 内政部 arXiv公司
莫里斯·比克。(编辑);安娜贝拉·麦克维尔(编辑) 形式化方法:实际应用和基础。编辑。 (英语) Zbl 1489.00048号 形式方法系统。设计。 58,编号1-2,1-4(2021).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}(编辑)和\textit{A.McIver}(编辑),Form.Methods Syst。设计。58,编号1--2,1--4(2021;Zbl 1489.00048) 全文: 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 合成中的真空。 (英语) Zbl 1522.68297号 形式方法系统。设计。 57,第3号,473-495(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。57,编号3,473--495(2021;Zbl 1522.68297) 全文: 内政部
Min-Hsien翁;罗比·马利克;马克·乌廷 Whiley-to-C编译器内存释放的自动证明。 (英语) Zbl 1522.68139号 形式方法系统。设计。 57,第3期,429-472(2021).MSC公司:第68页第20页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.-H.Weng}等人,《形式方法系统》。设计。57,第3号,429--472(2021;Zbl 1522.68139) 全文: 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 有界树宽图定量验证的快速算法。 (英语) Zbl 1522.68301号 形式方法系统。设计。 57,第3号,401-428(2021).MSC公司:60年第68季度 65年第68季度 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。57,第3号,401--428(2021;Zbl 1522.68301) 全文: 内政部
雨果·伊洛斯;马蒂厄·莱梅尔;对手,泽维尔 关系形状抽象域。 (英语) Zbl 1522.68156号 形式方法系统。设计。 57,第3号,343-400(2021).MSC公司:68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Illous}等人,Form.Methods Syst。设计。57,编号3,343--400(2021;Zbl 1522.68156) 全文: 内政部 哈尔
迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;菲利普·梅耶(Philipp J.Meyer)。 致力于人口协议的有效验证。 (英语) Zbl 1487.68032号 形式方法系统。设计。 57,编号3,305-342(2021).MSC公司:64岁以下 68个M12 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,《形式方法系统》。设计。57,编号3,305-342(2021;Zbl 1487.68032) 全文: 内政部 arXiv公司
达里尔·斯图尔特(编辑);乔治·威森巴赫(编辑) 2017年计算机辅助设计正式方法会议特刊前言。 (英语) Zbl 1522.68042号 形式方法系统。设计。 57,编号3,303-304(2021).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Stewart}(编辑)和\textit{G.Weissenbacher}(编),《形式方法系统》。设计。57、3号、303--304(2021;Zbl 1522.68042) 全文: 内政部
托马斯·帕尼;乔治·威森巴赫;弗洛里安·祖勒格 参数化并发共享内存程序的可靠性保证界分析。应用于证明非阻塞算法是有界无锁的。 (英语) 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) 全文: 内政部
奥德·帕顿;Jochen Hoenicke公司;肯尼思·麦克米兰。;安德烈亚斯·波德尔斯基;穆利·萨吉夫;沙龙·肖姆 证明无限状态系统时间特性的时间预言。 (英语) Zbl 1522.68340号 形式方法系统。设计。 57,编号2,246-269(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Padon}等人,《形式方法系统》。设计。57,编号2,246--269(2021;Zbl 1522.68340) 全文: 内政部 arXiv公司
阿尔贝托·格里乔;马可·罗维里;斯特凡诺·托内塔 基于SAT的模型检查的认证证明。 (英语) Zbl 1522.68319号 形式方法系统。设计。 57,编号2,178-210(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人,《形式方法系统》。设计。57,编号2,178--210(2021;Zbl 1522.68319) 全文: 内政部 链接
罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;维达德·哈季奇;埃格利,乌韦;弗洛里安·朗辛;马蒂娜·塞德尔 两个SAT解算器,用于求解具有任意数量量词交替的量化布尔公式。 (英语) Zbl 1522.68715号 形式方法系统。设计。 57,第2号,157-177(2021).MSC公司:68伏15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。57,第2号,157--177(2021;Zbl 1522.68715) 全文: 内政部
彼得·贝克曼;菲利普·吕默;Aleksandar Zeljić 使用未解释的谓词和Presburger算法插值位向量公式。 (英语) Zbl 1522.68142号 形式方法系统。设计。 57,第2期,121-156(2021).MSC公司:68号30 03B70号 03C10号机组 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Backeman}等人,《形式方法系统》。设计。57,编号2,121--156(2021;Zbl 1522.68142) 全文: 内政部
尼古拉·比约纳(编辑);阿里·古芬克尔(编辑) 2018年计算机辅助设计形式方法会议专刊前言。 (英语) Zbl 1522.68018号 形式方法系统。设计。 57,第2号,119-120(2021).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Björner}(编辑)和\textit{A.Gurfinkel}(主编),《形式方法系统》。设计。57、2号、119--120(2021;Zbl 1522.68018) 全文: 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 关于使用可逆性条件求解量化的位向量约束。 (英语) Zbl 1519.68236号 形式方法系统。设计。 57,编号1,87-115(2021).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,《形式方法系统》。设计。57,编号1,87--115(2021;Zbl 1519.68236) 全文: 内政部 arXiv公司
阿克西,S。;查克拉波蒂,苏普拉特克;舒巴姆·戈尔;苏米思·库拉尔;谢塔尔·沙阿 布尔函数综合:硬度和实用算法。 (英语) Zbl 1519.68128号 形式方法系统。设计。 57,编号1,53-86(2021).MSC公司:60年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,《形式方法系统》。设计。57,编号1,53--86(2021;Zbl 1519.68128) 全文: 内政部
卡米尔·科蒂;劳蕾·佩特鲁奇;塞萨尔·罗德里格斯;马塞洛·索萨 准最优部分降阶。 (英语) Zbl 1519.68158号 形式方法系统。设计。 57,第1期,3-33页(2021年).MSC公司:68问题85 68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Coti}等人,《形式方法系统》。设计。57,编号1,3--33(2021;Zbl 1519.68158) 全文: 内政部 arXiv公司
哈娜·乔克勒(编辑);乔治·威森巴赫(编辑) 2018年计算机辅助验证会议特刊前言。 (英语) 兹比尔1519.68003 形式方法系统。设计。 57,第1期,第1-2期(2021年).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}(编辑)和\textit{G.Weissenbacher}(主编),《形式方法系统》。设计。57,编号1,1--2(2021;Zbl 1519.68003) 全文: 内政部
格里戈里·费迪尤科维奇;塞缪尔·考夫曼。;拉斯蒂斯拉夫·博迪克 通过频率分布采样学习归纳不变量。 (英语) Zbl 1506.68054号 形式方法系统。设计。 56,编号1-3,154-177(2020).MSC公司:60年第68季度 68号30 68问题32 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Fedyukovich}等人,《形式方法系统》。设计。56,编号1--3,154-177(2020;Zbl 1506.68054) 全文: 内政部
乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦 通过理性搜索进行精确的定量概率模型检查。 (英语) 兹比尔1506.68057 形式方法系统。设计。 56,编号1-3,90-126(2020).MSC公司:60年第68季度 60J20型 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.Mathur}等人,《形式方法系统》。设计。56,编号1--3,90-126(2020;Zbl 1506.68057) 全文: 内政部
阿诺德·桑尼尔;纳塔利·斯兹纳杰德;玛丽亚·波托普·布图卡鲁;塞巴斯蒂安·蒂谢尔 环形机器人遗忘算法的参数化验证。 (英语) Zbl 1506.68058号 形式方法系统。设计。 56,编号1-3,55-89(2020).MSC公司:60年第68季度 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sangnier}等人,《形式方法系统》。设计。56,编号1--3,55-89(2020;Zbl 1506.68058) 全文: 内政部 arXiv公司
丹尼尔·考夫曼;阿明·比尔;曼纽尔·考尔斯 使用计算机代数对算术电路进行增量列式验证。 (英语) Zbl 1506.68056号 形式方法系统。设计。 56,编号1-3,22-54(2020).MSC公司:60年第68季度 2006年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kaufmann}等人,《形式方法系统》。设计。56,编号1--3,22-54(2020;Zbl 1506.68056) 全文: 内政部
克劳斯·哈维隆德;多龙·贝利德;多根·乌卢斯 使用BDD进行一阶时序逻辑监控。 (英语) Zbl 1506.68055号 形式方法系统。设计。 56,编号1-3,1-21(2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}等人,《形式方法系统》。设计。56,编号1--3,1--21(2020;Zbl 1506.68055) 全文: 内政部
保罗·盖纳;斯文·林杰;克莱尔·狄克逊;乌尔里希·赫斯塔特;迈克尔·费希尔 分布式同步的多尺度验证。 (英语) Zbl 1506.68009号 形式方法系统。设计。 55,第3期,171-221(2020).MSC公司:64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gainer}等人,《形式方法系统》。设计。55,第3号,171--221(2020;Zbl 1506.68009) 全文: 内政部 arXiv公司
卢卡什·霍利克;拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 无限状态系统的迹包含的抽象精化和反链。 (英语) Zbl 1506.68046号 形式方法系统。设计。 55,第3期,137-170(2020年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人,《表格方法系统》。设计。55,第3号,137--170(2020;Zbl 1506.68046) 全文: 内政部 arXiv公司 哈尔
罗德里克·布洛姆;费·戈尔施温;费边格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗朗茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英语) Zbl 1427.68160号 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。55,No.2,103--135(2019;Zbl 1427.68160) 全文: 内政部 arXiv公司
安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 SMT中基于反驳的合成。 (英语) Zbl 1427.68051号 形式方法系统。设计。 55,第2期,73-102(2019).MSC公司:68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。55,第2号,73-102(2019年;兹bl 1427.68051) 全文: 内政部
帕维尔·扬契克;科夫罗,简;阿尔特,莱昂纳多;格里戈里·费迪尤科维奇;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 在基于插值的模型检查中利用部分变量赋值。 (英语) Zbl 1425.68257号 形式方法系统。设计。 55,第1号,33-71(2019).MSC公司:60年第68季度 03C40号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janík}等人,《形式方法系统》。设计。55,编号1,33--71(2019;Zbl 1425.68257) 全文: 内政部
Aleksandar Milicevic;约瑟夫·P·奈尔(Joseph P.Near)。;康,恩苏克;丹尼尔·杰克逊 合金*:通用高阶关系约束求解器。 (英语) Zbl 1425.68264号 形式方法系统。设计。 55,第1期,第1-32页(2019年).MSC公司:60年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Milicevic}等人,《形式方法系统》。设计。55,编号1,1--32(2019;Zbl 1425.68264) 全文: 内政部 链接
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 高级应用程序域(软件以外)的运行时验证挑战调查。 (英语) Zbl 1425.68268号 形式方法系统。设计。 54,第3号,279-335(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,《形式方法系统》。设计。54,第3号,279--335(2019;Zbl 1425.68268) 全文: 内政部 arXiv公司
戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;Sr Djan Krstić;德米特里·特拉泰尔 几乎是事件-状态独立监测。 (英语) Zbl 1425.68249号 形式方法系统。设计。 54,第3期,449-478(2019).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,《形式方法系统》。设计。54,第3号,449--478(2019;Zbl 1425.68249) 全文: 内政部 链接
艾切尔尼格,伯恩哈德·K。;马丁·塔普勒 概率黑盒可达性检查(扩展版本)。 (英语) Zbl 1425.68247号 形式方法系统。设计。 54,第3期,416-448(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Aichernig}和\textit{M.Tappler},《形式方法系统》。设计。54,编号3,416–448(2019年;兹bl 1425.68247) 全文: 内政部
扎卡里·贝纳维德斯;凯瓦尔·沃拉;拉吉夫·古普塔;张湘玉 注释引导的上下文相关并行执行配置文件集合。 (英语) Zbl 1425.68056号 形式方法系统。设计。 54,第3期,388-415(2019).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{Z.Banavides}等人,Form.Methods系统。设计。54,编号3,388--415(2019;Zbl 1425.68056) 全文: 内政部
苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar TeLEx:使用紧密度度量从正面示例学习信号时序逻辑。 (英语) Zbl 1425.68349号 形式方法系统。设计。 54,第3期,364-387(2019).MSC公司:68T05型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jha}等人,《形式方法系统》。设计。54,编号3,364--387(2019;Zbl 1425.68349) 全文: 内政部 链接
伯恩德·芬克贝纳;克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 监控超属性。 (英语) Zbl 1425.68254号 形式方法系统。设计。 54,第3号,336-363(2019).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《形式方法系统》。设计。54,第3号,336--363(2019;Zbl 1425.68254) 全文: 内政部 arXiv公司
阿齐姆·查德哈里;埃德·罗宾斯;安迪·金 递增闭合八边形。 (英语) Zbl 1425.68242号 形式方法系统。设计。 54,第2号,232-277(2019).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Chawdhary}等人,《形式方法系统》。设计。54,No.2,232--277(2019;Zbl 1425.68242) 全文: 内政部 arXiv公司
卡列夫·阿尔佩纳斯;熊猫,Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;沙龙·肖姆;纱线维纳 状态网络验证的一些复杂性结果。 (英语) Zbl 1425.68248号 形式方法系统。设计。 54,第2期,191-231(2019).MSC公司:60年第68季度 68米10 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Alpernas}等人,《形式方法系统》。设计。54,第2号,191--231(2019;Zbl 1425.68248) 全文: 内政部 arXiv公司
李建文;朱淑芳;浦、葛光;张丽君;莫舍·瓦尔迪。 基于SAT的显式LTL推理及其在可满足性检查中的应用。 (英语) Zbl 1425.68259号 形式方法系统。设计。 54,第2期,164-190(2019).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,《形式方法系统》。设计。54,第2号,164--190(2019年;Zbl 1425.68259) 全文: 内政部
王,于;尼玛·鲁希;马修·韦斯特;马赫什·维斯瓦纳坦;盖尔·杜勒鲁(Geir E.Dullerud)。 使用对比和分层样本对PCTL进行统计验证。 (英语) Zbl 1425.68270号 形式方法系统。设计。 54,第2期,145-163(2019).MSC公司:60年第68季度 03B44号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,《形式方法系统》。设计。54,第2号,145-163(2019年;Zbl 1425.68270) 全文: 内政部
图沙尔·沙尔马;代表,托马斯 仿射变换的新抽象框架。 (英语) Zbl 1425.68084号 形式方法系统。设计。 54,第1期,110-143(2019).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Sharma}和\textit{T.Reps},表单方法系统。设计。54,编号1,110--143(2019;Zbl 1425.68084) 全文: 内政部 链接
阿卜杜勒拉乌特·乌阿贾奥特;安托万·米内 使用抽象马尔可夫链对通信协议进行定量静态分析。 (英语) 兹比尔1425.68078 形式方法系统。设计。 54,第1期,64-109(2019).MSC公司:68号30 68个M12 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ouadgaout}和\textit{A.Miné},《形式方法系统》。设计。54,编号1,64--109(2019;Zbl 1425.68078) 全文: 内政部 哈尔
杰西卡·格伦斯基;本·萨西、穆罕默德·阿明;斯蒂芬·贝克尔;桑卡拉纳拉亚南,斯里拉姆 模板多面体和双线性优化。 (英语) Zbl 1426.65079号 形式方法系统。设计。 54,第1号,27-63(2019).MSC公司:65千5 90C25型 90摄氏51度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gronski}等人,《形式方法系统》。设计。54,编号1,27-63(2019;Zbl 1426.65079) 全文: 内政部
艾哈迈德·博阿贾尼;康斯坦丁·埃纳;Lahiri,Shuvendu K。 进化并发程序的抽象语义差异。 (英语) Zbl 1425.68063号 形式方法系统。设计。 54,第1期,4-26(2019).MSC公司:68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。54,编号1,4--26(2019;Zbl 1425.68063) 全文: 内政部 哈尔
弗朗西斯科·兰扎托(编辑) 2017年静态分析研讨会专刊前言。 (英语) Zbl 1425.68016号 形式方法系统。设计。 54,第1期,第1-3期(2019年).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato}(编辑),《形式方法系统》。设计。54,编号1,1--3(2019;Zbl 1425.68016) 全文: 内政部
埃尔南庞塞·德·莱昂;安德烈·莫霍夫 并发系统的紧凑且有效的可验证模型。 (英语) Zbl 1425.68301号 形式方法系统。设计。 53,第3期,407-431(2018).MSC公司:68问题85 06年06月06日 68页30 PDF格式BibTeX公司 XML格式引用 \textit{H.Ponce de León}和\textit{A.Mokhov},《形式与方法系统》。设计。53,第3号,407--431(2018;Zbl 1425.68301) 全文: 内政部 链接
雷米·波顿;尼古拉斯·哈尔巴赫斯 通过超出递减序列的抽象解释改进程序分析结果。 (英语) 兹比尔1425.68064 形式方法系统。设计。 53,第3号,384-406(2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Boutonet}和\textit{N.Halbwachs},《形式方法系统》。设计。53,编号3,384--406(2018;Zbl 1425.68064) 全文: 内政部 哈尔
阿德里安·勒科恩特;亚历山大·迪特·桑德雷托,朱利安;亚历山大·查普托;劳伦·弗里堡 非线性采样切换系统控制综合的一种改进算法。 (英语) Zbl 1428.93053号 形式方法系统。设计。 53,第3期,363-383(2018).MSC公司:93立方 93个B03 93立方厘米 93亿B50 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Le Coönt}等人,《形式方法系统》。设计。53,第3号,363--383(2018;Zbl 1428.93053) 全文: 内政部 哈尔
贝内迪克特·博利格;曼纽拉·利迪亚·格林德;彼得·哈伯梅尔 并发递归程序的可实现性。 (英语) Zbl 1425.68062号 形式方法系统。设计。 53,第3期,339-362(2018).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,《形式方法系统》。设计。53,第3号,339--362(2018;Zbl 1425.68062) 全文: 内政部
斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·福格勒 强制终止程序间分析。 (英语) Zbl 1425.68083号 形式方法系统。设计。 53,第2期,313-338(2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schulze Frielinghaus}等人,《形式方法系统》。设计。53,No.2,313--338(2018;Zbl 1425.68083) 全文: 内政部 arXiv公司