潘卡杰·库马尔·卡利塔;Singal,Dhruv公司;帕拉克·阿加瓦尔;Jhunjunwala,萨基特;罗伊,苏巴吉特 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) 全文: 内政部
费利克斯·A·沃尔夫。;马尔特·施韦霍夫;彼得·米勒 复杂逻辑的简明大纲:TaDA的校对大纲检查器。 (英语) Zbl 07785153号 形式方法系统。设计。 61,编号1,110-136(2022).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Wolf}等人,Form.Methods Syst。设计。61,编号1,110--136(2022;Zbl 07785153) 全文: 内政部 arXiv公司 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) 全文: 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(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) 全文: 内政部
马丁·科尔布尔;斯特凡·洛伊;托马斯·维斯 定时系统的自动修复。 (英语) 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 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) 全文: 内政部 哈尔
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(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) 全文: 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 有界树宽图定量验证的快速算法。 (英语) 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 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公司
彼得·贝克曼;菲利普·吕默;Aleksandar Zeljić 使用未解释的谓词和Presburger算法插值位向量公式。 (英语) Zbl 1522.68142号 形式方法系统。设计。 57,编号2121-156(2021).MSC公司:68号30 03B70号 03C10号机组 03英尺30英寸 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Backeman}等人,Form.Methods Syst。设计。57,编号2121-156(2021;兹bl 1522.68142) 全文: 内政部
戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;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) 全文: 内政部 链接
苏斯米特·贾;阿什什·蒂瓦里;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) 全文: 内政部 链接
艾哈迈德·博阿贾尼;康斯坦丁·埃纳;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) 全文: 内政部 哈尔
曼弗雷德·布罗伊 基于假设/承诺的系统接口规范和架构合同的理论和方法。 (英语) Zbl 1392.68238号 形式方法系统。设计。 52,第1号,33-87(2018).MSC公司:60年第68季度 2007年7月68日 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},《形式方法系统》。设计。52、第1号、第33-87号(2018;Zbl 1392.68238) 全文: 内政部
安德烈·穆拉夫斯基。;尼科斯·齐夫列科斯 完整地面参考的算法游戏。 (英语) Zbl 1392.68147号 形式方法系统。设计。 52,第3号,277-314(2018).MSC公司:68号30 68甲15 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos},《形式方法系统》。设计。52,编号3277-314(2018;兹bl 1392.68147) 全文: 内政部
弗拉基米尔·克莱巴诺夫;菲利普·吕默;马蒂亚斯·乌尔布里奇 通过谓词抽象实现指针程序的自动回归验证。 (英语) Zbl 1392.68146号 形式方法系统。设计。 52,第3期,229-259(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Klebanov}等人,《形式方法系统》。设计。52,第3号,229--259(2018;Zbl 1392.68146) 全文: 内政部 链接
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 异构系统中分离职责的合同条件。 (英语) 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) 全文: 内政部
贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;汉弗莱,劳拉;罗伯特·Könighfer;托普库,乌福;王超 屏蔽合成。 (英语) Zbl 1386.68101号 形式方法系统。设计。 51,第2号,332-361(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Könighfer}等人,《形式方法系统》。设计。51,第2号,332--361(2017;Zbl 1386.68101) 全文: 内政部
伊戈尔·科诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 \(\text{Para}^2):参数化路径缩减、加速和SMT,用于阈值保护分布式算法中的可达性。 (英语) Zbl 1380.68279号 形式方法系统。设计。 51,第2期,270-307(2017).MSC公司:60年第68季度 64岁以下 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,《形式方法系统》。设计。51,第2号,270--307(2017;Zbl 1380.68279) 全文: 内政部
米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 多维马尔可夫决策过程中的百分比查询。 (英语) Zbl 1360.68518号 形式方法系统。设计。 50,编号2-3,207-248(2017).MSC公司:65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Randour}等人,《形式方法系统》。设计。50,编号2-3207-248(2017;兹bl 1360.68518) 全文: 内政部 arXiv公司
卡琳·阿尔蒂森;马蒂厄·莫伊 实时演算中的因果关系问题。 (英语) Zbl 1392.68112号 形式方法系统。设计。 48号1-2、1-45(2016).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Altisen}和\textit{M.Moy},《形式方法系统》。设计。48,编号1--2,1--45(2016;Zbl 1392.68112) 全文: 内政部 哈尔
萨加·查基;阿里·古芬克尔;斯特里赫曼(Ofer Strichman) 多线程程序的回归验证(具有锁的扩展和动态线程创建)。 (英语) Zbl 1331.68048号 形式方法系统。设计。 47,第3期,287-301(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。47,第3号,287--301(2015;Zbl 1331.68048) 全文: 内政部
戴维·巴恩斯;费利克斯·克莱特克;斯尔詹·马里诺维奇;尤根·兹利内斯库 使用聚合监控时间一阶属性。 (英语) Zbl 1323.68362号 形式方法系统。设计。 46,第3期,262-285(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,《形式方法系统》。设计。46,第3号,262--285(2015;Zbl 1323.68362) 全文: 内政部 链接
迪马·埃伦博根;Shmuel Katz;斯特里赫曼(Ofer Strichman) 证明双方终止。 (英语) Zbl 1322.68052号 形式方法系统。设计。 47,第2期,204-229(2015).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Elenbogen}等人,《形式方法系统》。设计。47,第2号,204--229(2015;Zbl 1322.68052) 全文: 内政部
斯里尼瓦斯·皮尼塞蒂;伊利耶斯·法尔科内;蒂埃里·杰伦;埃尔文·马尔坎德;安托万·罗莱;奥马尔·恩格纳·蒂莫 已重新访问定时属性的运行时强制。 (英语) Zbl 1314.68102号 形式方法系统。设计。 45,第3期,381-422(2014).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人,《形式方法系统》。设计。45,第3号,381--422(2014;Zbl 1314.68102) 全文: 内政部 哈尔
张金金;朱兆辉 交替近似双相似的模态特征。 (英语) Zbl 1300.93114号 形式方法系统。设计。 44,第3期,240-263(2014).MSC公司:93元65角 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}和textit{Z.Zhu},《形式与方法系统》。设计。44,编号3,240--263(2014年;兹bl 1300.93114) 全文: 内政部 arXiv公司
安东尼奥·考伊;海尔格·贾尼克;本·莫斯科夫斯基 验证和实施访问控制策略。 (英语) 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) 全文: 内政部
Hiraishi、Kunihiko;Koich小林 实状态空间上转移系统盒抽象的近似算法。 (英语) Zbl 1291.68261号 形式方法系统。设计。 42,第2期,175-192(2013).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Hiraishi}和\textit{K.Kobayashi},《形式方法系统》。设计。42,第2号,175--192(2013;Zbl 1291.68261) 全文: 内政部
迪维约特·塞提;尤格什·马哈扬;沙拉德·马利克 事务交互属性的规范和编码。 (英语) Zbl 1247.68169号 形式方法系统。设计。 39,第2期,144-164(2011).MSC公司:60年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{D.Sethi}等人,《形式方法系统》。设计。39,第2号,144--164(2011;Zbl 1247.68169) 全文: 内政部
懒惰,克里斯托弗;拉斐尔·维斯涅夫斯基 用时间自动机验证连续动力系统。 (英语) Zbl 1233.68158号 形式方法系统。设计。 39,第1期,47-82(2011).MSC公司:60年第68季度 37立方厘米 65年第68季度 37B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Sloth}和\textit{R.Wisniewski},《形式方法系统》。设计。39,第1号,47--82(2011;Zbl 1233.68158) 全文: 内政部 链接
霍尔格·加斯特 关于内存布局的推理。 (英语) Zbl 1211.68086号 形式方法系统。设计。 37,编号2-3,141-170(2010).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Gast},形式方法系统。设计。37、编号2--3、141-170(2010;Zbl 1211.68086) 全文: 内政部
马克斯·戈德曼;艾米莉亚·卡茨;Shmuel Katz MAVEN:模块化方面验证和干扰分析。 (英语) Zbl 1207.68206号 形式方法系统。设计。 37,第1期,61-92(2010).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Goldman}等人,《形式方法系统》。设计。37,编号1,61-92(2010;Zbl 1207.68206) 全文: 内政部
杰拉德·巴斯勒;米歇尔,马祖奇;托马斯·沃尔;丹尼尔·克罗宁 上下文软件计数器抽象。 (英语) Zbl 1213.68362号 形式方法系统。设计。 36,第3期,223-245(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Basler}等人,《形式方法系统》。设计。36,第3号,223--245(2010;Zbl 1213.68362) 全文: 内政部 链接
桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 构造混合系统的不变量。 (英语) Zbl 1133.68365号 形式方法系统。设计。 32,编号1,25-55(2008).MSC公司:65年第68季度 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,《形式方法系统》。设计。32,编号1,25-55(2008;Zbl 1133.68365) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;帕伦特,米姆 语法描述的可视下推语言的单词问题。 (英语) Zbl 1131.68053号 形式方法系统。设计。 31,第3期,265-279(2007).MSC公司:65年第68季度 03D40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《形式方法系统》。设计。31,第3号,265--279(2007;Zbl 1131.68053) 全文: 内政部
贝拉德,贝特里奇;保罗·加斯丁;安托万·佩蒂特 常规信号事件语言的定时替换。 (英语) Zbl 1129.68038号 形式方法系统。设计。 31,第2期,101-134(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。31,第2号,101--134(2007;Zbl 1129.68038) 全文: 内政部
托拜厄斯·舒勒;Schneider,Klaus公司 无限状态系统的有界模型检验。 (英语) Zbl 1117.68047号 形式方法系统。设计。 30,第1号,51-81(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Schuele}和\textit{K.Schneider},《形式方法系统》。设计。30,第1号,51--81(2007;Zbl 1117.68047) 全文: 内政部
维克多·霍缅科;马西耶·库特尼 使用整数规划验证有界Petri网。 (英语) Zbl 1112.68104号 形式方法系统。设计。 30,第2期,143-176(2007).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}和\textit{M.Koutny},《形式方法系统》。设计。30,编号2143-176(2007年;兹bl 1112.68104) 全文: 内政部
北卡罗来纳州Halbwachs。;D.默沙特。;L·贡诺德。 在多面体计算中减少空间维数的一些方法。 (英语) Zbl 1105.68107号 形式方法系统。设计。 29,第1期,79-95(2006).MSC公司:68单位05 PDF格式BibTeX公司 XML格式引用 \textit{N.Halbwachs}等人,《形式方法系统》。设计。29,第1号,79--95(2006;Zbl 1105.68107) 全文: 内政部 哈尔
罗伯托·巴布蒂;尼科莱塔·德·弗朗西斯科;安东内拉·桑顿;吉利奥拉·瓦格利尼 用于有效CCS验证的简化模型。 (英语) Zbl 1085.68085号 形式方法系统。设计。 26,第3期,319-350(2005).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,《形式方法系统》。设计。26,第3号,319--350(2005;Zbl 1085.68085) 全文: 内政部
奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 用于\(\mu\)-演算的分布式符号模型检查。 (英语) Zbl 1083.68069号 形式方法系统。设计。 26,第2期,197-219(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《形式方法系统》。设计。26,第2号,197--219(2005;Zbl 1083.68069) 全文: 内政部
安德鲁·贝利;乔治·麦卡斯基尔。;乔治·米尔恩。 异步设计的自动验证练习。 (英语) Zbl 0795.94020号 形式方法系统。设计。 4,第3期,213-242(1994).MSC公司:94C12号机组 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bailey}等人,《形式方法系统》。设计。4,第3号,213--242(1994;Zbl 0795.94020) 全文: 内政部
保罗·库松 派生已编译代码的正确性属性。 (英语) Zbl 0785.68061号 形式方法系统。设计。 3,编号1-2,83-115(1993).MSC公司:60年第68季度 03B70号 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Curzon},形式方法系统。设计。3,编号1--2,83-115(1993;Zbl 0785.68061) 全文: 内政部
冯·赖特,J。;J·赫卡纳霍。;罗斯塔琳,P。;朗巴卡,T。 机械化一些高级精炼概念。 (英语) 兹伯利0785.68063 形式方法系统。设计。 3,编号1-2,49-81(1993).MSC公司:60年第68季度 68吨15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.von Wright}等人,《形式方法系统》。设计。3,编号1--2,49-81(1993;Zbl 0785.68063) 全文: 内政部
德莱恩,哈纳;奥尔纳·格伦伯格 用于验证实时分布式系统的模块化抽象。 (英语) Zbl 0774.68080号 形式方法系统。设计。 2,第1期,7-43(1993).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.De-Leon}和\textit{O.Grumberg},《形式方法系统》。设计。2,编号1,7--43(1993;Zbl 0774.68080) 全文: 内政部
牧场克利夫兰;Steffen,伯恩哈德 无交互模态微积分的线性时间模型检测算法。 (英语) Zbl 0772.68038号 形式方法系统。设计。 2,第2期,121-147(1993).MSC公司:2010年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.克利夫兰}和\textit{B.Steffen},《形式方法系统》。设计。2,第2号,121--147(1993;Zbl 0772.68038) 全文: 内政部
安徒生、亨利克·雷夫;格林·温斯克尔 满意度的成分检查。 (英语) Zbl 0776.68083号 形式方法系统。设计。 1,第4期,323-354(1992). 审核人:H.R.安徒生 MSC公司:60年第68季度 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Andersen}和\textit{G.Winskel},《形式方法系统》。设计。1,第4号,323--354(1992;Zbl 0776.68083) 全文: 内政部