莱奥·埃克巴德;艾曼纽·菲利奥特;阿伊拉特·哈利莫夫 线性有序数据域上寄存器自动机的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公司 哈尔
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,第3期,452-481(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: 内政部 OA许可证
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 反应合成中的特定鲁棒性。 (英语) Zbl 07683089号 形式方法系统。设计。 60,第2号,259-276(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。60,第2号,259--276(2022;Zbl 07683089) 全文: 内政部
科托Mascle;丹尼尔·奈德;马克西米利安·施温格;保罗·塔布阿达;亚历山大·韦内特;马丁·齐默尔曼 从LTL到rLTL监控:通过健壮语义改进可监控性。 (英语) Zbl 1522.68334号 形式方法系统。设计。 59,编号1-3,170-204(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Mascle}等人,《形式方法系统》。设计。59,编号1-3170-204(2021;兹bl 1522.68334) 全文: 内政部
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.68076号 形式方法系统。设计。 58,第3期,347-374(2021).MSC公司:65年第68季度 68号30 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Fisman},《形式方法系统》。设计。58,编号3,347--374(2021;Zbl 1492.68076) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 (英语) 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--2,188-250(2021;Zbl 1505.68025) 全文: 内政部 arXiv公司
西蒙·詹奇;大卫·米勒;克里斯特尔·拜尔;约阿希姆·克莱因 通过交替自动机的消歧,从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公司
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 有界树宽图定量验证的快速算法。 (英语) 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 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公司 哈尔
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;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公司
李建文;朱淑芳;浦、葛光;张丽君;莫舍·瓦尔迪。 基于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) 全文: 内政部
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 通过优先级提升解决平价游戏。 (英语) Zbl 1390.68332号 形式方法系统。设计。 52,第2期,193-226(2018).MSC公司:65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《形式方法系统》。设计。52,第2号,193--226(2018;Zbl 1390.68332) 全文: 内政部 链接
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 异构系统中分离职责的合同条件。 (英语) Zbl 1390.68442号 形式方法系统。设计。 52,第2期,147-192(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg},《形式方法系统》。设计。52,第2号,147--192(2018;Zbl 1390.68442) 全文: 内政部
安德鲁·雷诺兹;金,蒂姆;维克多·昆卡 通过反例引导实例化求解量化线性算法。 (英语) Zbl 1377.68138号 形式方法系统。设计。 51,第3号,500-532(2017).MSC公司:60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。51,编号3500-532(2017;兹bl 1377.68138) 全文: 内政部 链接
董武轩;Khanh,To Van先生;小川,水井裕人 raSAT:多项式约束的SMT解算器。 (英语) Zbl 1377.68140号 形式方法系统。设计。 51,第3期,462-499(2017).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.X.Tung}等人,《形式方法系统》。设计。51,第3号,462--499(2017;Zbl 1377.68140) 全文: 内政部
哈维尔·埃斯帕尔扎;简·Křetínsk;所罗门·西克特 从LTL到确定性自动机。一种不安全的合成方法。 (英语) Zbl 1368.68233号 形式方法系统。设计。 49,第3期,219-271(2016).MSC公司:65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《形式方法系统》。设计。49,第3号,219--271(2016;Zbl 1368.68233) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;斯特凡诺·托内塔 使用IC3和谓词抽象进行无限状态不变量检查。 (英语) Zbl 1368.68245号 形式方法系统。设计。 第3期第49页,第190-218页(2016年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。49,第3号,190--218(2016;Zbl 1368.68245) 全文: 内政部
克里希南德·查特吉;马丁·奇梅利克;Daca,Przemysław公司 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 (英语) Zbl 1322.68137号 形式方法系统。设计。 47,第2期,230-264(2015).MSC公司:87年第68季度 60年第68季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。47,第2号,230--264(2015;Zbl 1322.68137) 全文: 内政部
菲利普·吕默;侯赛因·霍贾特;维克多·昆卡 关于无递归Horn子句和Craig插值。 (英语) Zbl 1322.68134号 形式方法系统。设计。 47,第1号,1-25(2015).MSC公司:60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{P.Rümmer}等人,《形式方法系统》。设计。47,第1号,1-25(2015;Zbl 1322.68134) 全文: 内政部
阿尔伯特·本文尼斯特;克洛德·贾德;Ajay Kattepur;西德尼·罗萨里奥;约翰·A·蒂维森。 支持QoS的单调服务编排管理。 (英语) Zbl 1291.68280号 形式方法系统。设计。 44,第1期,1-43页(2014年).MSC公司:68问题85 87年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人,《形式方法系统》。设计。44,第1号,1-43(2014;Zbl 1291.68280) 全文: 内政部 哈尔
安东尼奥·考伊;海尔格·贾尼克;本·莫斯科夫斯基 验证和实施访问控制策略。 (英语) Zbl 1291.68250号 形式方法系统。设计。 43,编号3,450-492(2013).MSC公司:60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cau}等人,《形式方法系统》。设计。43,编号3450-492(2013年;兹bl 1291.68250) 全文: 内政部
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(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) 全文: 内政部
斯特凡·基弗;安德烈·穆拉夫斯基。;约尔·瓦克宁;比约恩·瓦希特;詹姆斯·沃雷尔 算法概率游戏语义。用自动机玩游戏。 (英语) Zbl 1291.68294号 形式方法系统。设计。 43,第2期,285-312(2013).MSC公司:87年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,《形式方法系统》。设计。43,第2285-312号(2013年;兹bl 1291.68294) 全文: 内政部
北伯特兰。;施诺贝伦,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) 全文: 内政部
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 竞争随机系统的自动验证。 (英语) Zbl 1291.68252号 形式方法系统。设计。 43,第1期,61-92(2013).MSC公司:60年第68季度 87年第68季度 91A15型 03B44号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《形式方法系统》。设计。43,第1号,61-92(2013;Zbl 1291.68252) 全文: 内政部 链接
弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 定时Büchi自动机的有效空性检查。 (英语) Zbl 1247.68143号 形式方法系统。设计。 40,第2期,122-146(2012).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人,《形式方法系统》。设计。40、第2号、第122号——146(2012;Zbl 1247.68143) 全文: 内政部 arXiv公司
啤酒,伊兰;肖姆·本·达维德;哈娜·乔克勒;阿维盖尔·奥尔尼;理查德·特雷弗勒 用因果关系解释反例。 (英语) Zbl 1247.68158号 形式方法系统。设计。 40,第1期,20-40(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Beer}等人,《形式方法系统》。设计。40、1号、20--40(2012;Zbl 1247.68158) 全文: 内政部
艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 LTL合成的反链和合成算法。 (英语) Zbl 1258.03046号 形式方法系统。设计。 39,第3期,261-296(2011).MSC公司:05年3月 03B44号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,《形式方法系统》。设计。39,第3号,261--296(2011;Zbl 1258.03046) 全文: 内政部
Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 马尔可夫决策过程的基于游戏的抽象再定义框架。 (英语) Zbl 1233.90276号 形式方法系统。设计。 36,第3期,246-280(2010).MSC公司:90立方厘米 91A15型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}等人,《形式方法系统》。设计。36,第3号,246--280(2010;Zbl 1233.90276) 全文: 内政部 链接
克里斯特尔·拜尔;布,露西娅;Boudewijn R.哈维尔科特。;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 通过马尔可夫报酬模型的模型检查进行性能评估。 (英语) Zbl 1209.68309号 形式方法系统。设计。 36,第1期,1-36页(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《形式方法系统》。设计。36,第1号,1-36(2010;Zbl 1209.68309) 全文: 内政部 链接
劳拉·博泽利;萨尔瓦多拉托雷 上下界参数时间自动机的决策问题。 (英语) Zbl 1186.68245号 形式方法系统。设计。 35,第2期,121-151(2009).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{S.La Torre},《形式方法系统》。设计。35,第2号,121--151(2009;Zbl 1186.68245) 全文: 内政部
奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 从活泼到敏捷。 (英语) Zbl 1192.68416号 形式方法系统。设计。 34,第2期,83-103(2009).MSC公司:65年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《形式方法系统》。设计。34,第2号,83--103(2009;Zbl 1192.68416) 全文: 内政部
约琴·艾辛格;费利克斯·克莱特克 不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。 (英语) 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) 全文: 内政部 链接
Wan Fokkink公司;庞、军;范德波尔(Jaco van de Pol) 锥和焦点:协议验证的机械框架。 (英语) Zbl 1103.68652号 形式方法系统。设计。 29,第1期,1-31页(2006年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《形式方法系统》。设计。29,第1号,1--31(2006;Zbl 1103.68652) 全文: 内政部