卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波;Juan C.Jaramillo。;佩雷斯(Jorge A.Pérez)。 Maude中基于会话的并发:可执行语义和类型检查。 (英语) Zbl 1512.68173号 J.日志。阿尔盖布。方法计划。 133,文章ID 100872,42 p.(2023).MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Ramírez Restrepo}等人,J.Log。阿尔盖布。方法计划。133,文章ID 100872,42 p.(2023;Zbl 1512.68173) 全文: 内政部
玛丽亚·乔昂·弗雷德;豪尔赫·索萨·平托 基于动态逻辑的验证VCGen:使用Why3进行元验证的练习。 (英语) Zbl 1512.68151号 J.日志。阿尔盖布。方法计划。 133,文章ID 100871,14 p.(2023).MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frade}和\textit{J.Sousa Pinto},J.Log。阿尔盖布。方法计划。133,文章ID 100871,14 p.(2023;Zbl 1512.68151) 全文: 内政部
辛齐亚·迪·朱斯托;吉祖恩,洛伊奇德国;艾蒂安·洛兹 多方半双工系统和同步通信。 (英语) Zbl 1512.68165号 J.日志。阿尔盖布。方法计划。 131,文章ID 100843,17 p.(2023).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,J.Log。阿尔盖布。方法计划。131,文章ID 100843,17 p.(2023;Zbl 1512.68165) 全文: 内政部
克里斯托弗·波斯基特(Christopher M.Poskitt)。;丰满,细节 GP 2的一阶二阶错误逻辑。 (英语) 兹比尔1529.68082 J.日志。阿尔盖布。方法计划。 130,文章ID 100825,第29页(2023).MSC公司:68号30 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Poskitt}和\textit{D.Plump},J.Log。阿尔盖布。方法计划。130,文章ID 100825,29 p.(2023;Zbl 1529.68082) 全文: 内政部 链接
汉娜·贡默施塔特;贾利民;弗兰克·芬宁 会话类型的并发合同。 (英语) Zbl 1487.68165号 J.日志。阿尔盖布。方法计划。 124,文章ID 100731,24 p.(2022). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:68问题85 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gommerstadt}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100731,24 p.(2022;Zbl 1487.68165) 全文: 内政部 链接
鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 战略的元层次转换。 (英语) Zbl 07432502号 J.日志。阿尔盖布。方法计划。 124,文章ID 100728,21 p.(2022).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100728,21 p.(2022;Zbl 07432502) 全文: 内政部 arXiv公司
鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 使用Maude中的策略模拟和模型检查膜系统。 (英语) Zbl 07432501号 J.日志。阿尔盖布。方法计划。 124,文章ID 100727,25 p.(2022).MSC公司:2007年第68季度 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100727,25 p.(2022;Zbl 07432501) 全文: 内政部 arXiv公司
埃马努伊尔·克拉萨纳基斯;安德烈亚斯·西蒙尼迪斯 定义行为化关系,以便在半自动程序合成中进行推理。 (英语) Zbl 1528.68081号 J.日志。阿尔盖布。方法计划。 123,文章ID 100714,第29页(2021).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Krasanakis}和\textit{A.Symeonidis},J.Log。阿尔盖布。方法计划。123,文章ID 100714,29 p.(2021;Zbl 1528.68081) 全文: 内政部
亚历克斯·科托;罗伯特·瓜夏莱;埃米利奥·托斯托 舞蹈测试的抽象框架。 (英语) Zbl 1528.68249号 J.日志。阿尔盖布。方法计划。 123,文章ID 100712,32 p.(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coto}等人,J.Log。阿尔盖布。方法计划。123,文章ID 100712,32 p.(2021;Zbl 1528.68249) 全文: 内政部 arXiv公司
弗朗西斯科·杜兰;卡米洛·罗查;格温·萨拉恩 BPMN流程的资源供应策略:使用Maude进行规范和分析。 (英语) Zbl 1528.68217号 J.日志。阿尔盖布。方法计划。 123,文章ID 100711,27 p.(2021).MSC公司:60年第68季度 2012年第68季度 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法计划。123,文章ID 100711,第27页(2021;Zbl 1528.68217) 全文: 内政部 哈尔
鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 Maude中的策略、模型检查和分支时间属性。 (英语) Zbl 1528.68233号 J.日志。阿尔盖布。方法计划。 123,文章ID 100700,第28页(2021).MSC公司:60年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,J.Log。阿尔盖布。方法计划。123,文章ID 100700,28 p.(2021;Zbl 1528.68233) 全文: 内政部 arXiv公司
罗尔夫·亨尼克;亚历山大·克纳普;亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 (英语) Zbl 1528.68224号 J.日志。阿尔盖布。方法计划。 122,文章ID 100698,19 p.(2021).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,J.Log。阿尔盖布。方法计划。122,文章ID 100698,19 p.(2021;Zbl 1528.68224) 全文: 内政部
约瑟夫·布杜;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 命题赋值动态逻辑中的资源分离。 (英语) Zbl 1518.68203号 J.日志。阿尔盖布。方法计划。 121,文章ID 100683,17 p.(2021).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100683,17 p.(2021;Zbl 1518.68203) 全文: 内政部 链接
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 (英语) Zbl 1518.68206号 J.日志。阿尔盖布。方法计划。 121,文章ID 100681,34 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100681,34 p.(2021;Zbl 1518.68206) 全文: 内政部 arXiv公司
本努尔,伊米德·埃丁 使用Lustre对定时同步数据流图进行形式化验证。 (英语) Zbl 1518.68202号 J.日志。阿尔盖布。方法计划。 121,文章ID 100678,24 p.(2021).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Bennour},J.Log。阿尔盖布。方法计划。121,文章ID 100678,24 p.(2021;Zbl 1518.68202) 全文: 内政部
Jean-Christophe Filliátre 使用分散不变量进行更简单的证明。 (英语) Zbl 1518.68048号 J.日志。阿尔盖布。方法计划。 121,文章ID 100645,第7页(2021).MSC公司:68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Filliátre},J.Log。阿尔盖布。方法计划。121,文章ID 100645,7 p.(2021;Zbl 1518.68048) 全文: 内政部 哈尔
爱荷华州卢什坦;娜塔莉亚·莫昂;☑特拉安·弗洛林(Traian Florin) 多种混合模态语言。 (英语) Zbl 1518.68057号 J.日志。阿尔盖布。方法计划。 120,文章ID 100644,16 p.(2021).MSC公司:68号30 03B45 03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Leuštean}等人,J.Log。阿尔盖布。方法计划。120,文章ID 100644,16 p.(2021;Zbl 1518.68057) 全文: 内政部 arXiv公司
托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 关于检查模拟脚本的等效性。 (英语) Zbl 1518.68212号 J.日志。阿尔盖布。方法计划。 120,文章ID 100640,22 p.(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}等人,J.Log。阿尔盖布。方法计划。120,文章ID 100640,22 p.(2021;Zbl 1518.68212) 全文: 内政部
陈晓红;多雷尔·卢卡努;格里高·罗什乌 匹配逻辑已解释。 (英语) Zbl 1518.68047号 J.日志。阿尔盖布。方法计划。 120,文章ID 100638,37 p.(2021).MSC公司:68号30 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,J.Log。阿尔盖布。方法计划。120,文章ID 100638,37 p.(2021;Zbl 1518.68047) 全文: 内政部 链接
阿德里安·弗兰卡兰扎;克莱尔·西尼 计算机说不:使用本地证明系统对运行时监控器进行裁决解释。 (英语) Zbl 1455.68103号 J.日志。阿尔盖布。方法计划。 119,文章ID 100636,25 p.(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{C.Cini},J.Log。阿尔盖布。方法计划。119,文章ID 100636,25 p.(2021;Zbl 1455.68103) 全文: 内政部
马吕斯·博兹加;拉杜·奥西夫;约瑟夫·西法基斯 检查基于参数化组件的系统的死锁自由度。 (英语) Zbl 1455.68102号 J.日志。阿尔盖布。方法计划。 119,文章ID 100621,23 p.(2021).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,J.Log。阿尔盖布。方法计划。119,文章ID 100621,23 p.(2021;Zbl 1455.68102) 全文: 内政部 arXiv公司
迭戈·马姆斯勒;阿纳·彼得罗夫斯卡 动态架构的运行时验证。 (英语) Zbl 1455.68106号 J.日志。阿尔盖布。方法计划。 118,文章ID 100618,26 p.(2021).MSC公司:60年第68季度 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{D.Marmsoler}和\textit{A.Petrovska},J.Log。阿尔盖布。方法计划。118,文章ID 100618,26 p.(2021;Zbl 1455.68106) 全文: 内政部
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米格尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 软件定义网络的基于角色的模型检查。 (英语) Zbl 1455.68101号 J.日志。阿尔盖布。方法计划。 118,文章ID 100617,第26页(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Log。阿尔盖布。方法计划。118,文章ID 100617,26 p.(2021;Zbl 1455.68101) 全文: 内政部 arXiv公司 链接
塔贾纳·卡普斯 用\(\mathrm{TLA}^+\)指定可逆性。 (英语) Zbl 1462.68125号 J.日志。阿尔盖布。方法计划。 116,文章ID 100582,34 p.(2020).MSC公司:68问题85 03B44号 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.卡普斯},J.洛格。阿尔盖布。方法计划。116,文章ID 100582,34 p.(2020;Zbl 1462.68125) 全文: 内政部
穆罕默德·贾比尔;伊利耶斯·法尔科内;保罗·阿蒂;阿巴斯·哈利勒;哈拉尔(Rayan Hallal);安托万·埃尔·霍卡耶姆 从全球编舞到可验证的高效分布式实现。 (英语) Zbl 1452.68125号 J.日志。阿尔盖布。方法计划。 115,文章ID 100577,23 p.(2020).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaber}等人,J.Log。阿尔盖布。方法计划。115,文章ID 100577,23 p.(2020;Zbl 1452.68125) 全文: 内政部 arXiv公司 哈尔
内布拉斯加州纳赛尔;延斯·科索尔;托尔斯滕·阿伦特;加布里埃尔·坦泽尔 为模型转换规则构造优化的约束保持应用条件。 (英语) Zbl 1451.68140号 J.日志。阿尔盖布。方法计划。 114,文章ID 100564,31 p.(2020).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nassar}等人,J.Log。阿尔盖布。方法计划。114,文章ID 100564,31 p.(2020;Zbl 1451.68140) 全文: 内政部
赵欣;菲利普·哈勒 统一最终一致性和可观察原子一致性的复制数据类型。 (英语) Zbl 1451.68056号 J.日志。阿尔盖布。方法计划。 114,文章ID 100561,21 p.(2020).MSC公司:64岁以下 03B70号 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhao}和\textit{P.Haller},J.Log。阿尔盖布。方法计划。114,文章ID 100561,第21页(2020;Zbl 1451.68056) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。阿尔盖布。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100515,38 p.(2020;Zbl 1494.68155) 全文: 内政部 arXiv公司
弗朗西斯科·杜兰;何塞·梅塞盖尔;卡米洛·罗查 有序条件规范模公理的基础汇合。 (英语) Zbl 1498.68073号 J.日志。阿尔盖布。方法计划。 111,文章ID 100513,117 p.(2020).MSC公司:68号30 68甲18 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100513,117页(2020;兹bl 1498.68073) 全文: 内政部
洛科·德尼古拉;Gianluigi法拉利;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 特定于域的分布式系统工程的正式方法。 (英语) Zbl 1494.68022号 J.日志。阿尔盖布。方法计划。 111,文章ID 100511,37 p.(2020).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100511,37 p.(2020;Zbl 1494.68022) 全文: 内政部 arXiv公司
乌里·法伦贝格;Legay、Axel 行为规范理论的线性时间分支时间谱。 (英语) Zbl 1433.68214号 J.日志。阿尔盖布。方法计划。 110,文章ID 100499,16 p.(2020).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},J.Log。阿尔盖布。方法计划。110,文章ID 100499,16 p.(2020;Zbl 1433.68214) 全文: 内政部 arXiv公司
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 莫德的编程和符号计算。 (英语) Zbl 1494.68109号 J.日志。阿尔盖布。方法计划。 110,文章ID 100497,58 p.(2020).MSC公司:2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100497,58 p.(2020;Zbl 1494.68109) 全文: 内政部 arXiv公司
何塞·梅塞盖尔 广义重写理论、连贯完成和符号方法。 (英语) Zbl 1496.68166号 J.日志。阿尔盖布。方法计划。 110,文章ID 100483,39 p.(2020).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。方法计划。110,文章ID 100483,39 p.(2020;Zbl 1496.68166) 全文: 内政部 链接
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 (英语) Zbl 1494.68157号 J.日志。阿尔盖布。方法计划。 110,文章ID 100459,22 p.(2020).MSC公司:60年第68季度 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100459,22 p.(2020;Zbl 1494.68157) 全文: 内政部 arXiv公司
图巴·亚武兹 部分谓词抽象和反例引导精化。 (英语) Zbl 1494.68177号 J.日志。阿尔盖布。方法计划。 110,文章ID 100437,17 p.(2020).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz},J.日志。阿尔盖布。方法计划。110,文章ID 100437,17 p.(2020;Zbl 1494.68177) 全文: 内政部 arXiv公司
丹尼尔·克恩伯格;马丁·兰格 混合分支时间逻辑的模型检查。 (英语) Zbl 1494.68168号 J.日志。阿尔盖布。方法计划。 110,文章ID 100427,第25页(2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kernberger}和\textit{M.Lange},J.Log。阿尔盖布。方法计划。110,文章ID 100427,25 p.(2020;Zbl 1494.68168) 全文: 内政部
叶希亚·阿卜杜·阿勒拉赫曼;雨果·托雷斯·维埃拉 一种用于电网运行控制的协调协议语言。 (英语) Zbl 1435.68332号 J.日志。阿尔盖布。方法计划。 109,文章ID 100487,32 p.(2019).MSC公司:68T42型 60年第68季度 68问题85 90B10型 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abd Alrahman}和\textit{H.Torres Vieira},J.Log。阿尔盖布。方法计划。109,文章ID 100487,32 p.(2019;Zbl 1435.68332) 全文: 内政部
罗布·范格拉贝克 确保分布式系统的活性属性:开放问题。 (英语) Zbl 1435.68216号 J.日志。阿尔盖布。方法计划。 109,文章ID 100480,19 p.(2019).MSC公司:68问题85 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},J.日志。阿尔盖布。方法计划。109,文章ID 100480,19 p.(2019;Zbl 1435.68216) 全文: 内政部 arXiv公司
罗伯特·瓜夏莱;埃米利奥·托斯托 pomsets的可实现性。 (英语) 兹比尔1435.68213 J.日志。阿尔盖布。方法计划。 108, 69-89 (2019).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Guanciale}和\textit{E.Tuosto},J.Log。阿尔盖布。方法计划。108、69-89(2019年;Zbl 1435.68213) 全文: 内政部 链接
佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 用于验证通用分布式系统的模块化框架。 (英语) Zbl 1435.68191号 J.日志。阿尔盖布。方法计划。 108, 24-46 (2019).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevru}等人,J.Log。阿尔盖布。方法计划。108,24-46(2019年;兹比尔1435.68191) 全文: 内政部 链接
卡洛斯·卡马乔;路易斯·拉纳;阿尔贝托·努涅斯;马里奥·布拉维蒂 概率软件产品线。 (英语) Zbl 1431.68017号 J.日志。阿尔盖布。方法计划。 107, 54-78 (2019).MSC公司:68号30 68问题55 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Camacho}等人,J.Log。阿尔盖布。方法计划。107、54-78(2019年;Zbl 1431.68017) 全文: 内政部 哈尔
延森,L.S。;考夫曼,I。;拉森,K.G。;尼尔森,S.M。;斯尔巴,J。 分支多权逻辑的模型检查与综合。 (英语) Zbl 1423.68284号 J.日志。阿尔盖布。方法计划。 105, 28-46 (2019).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Jensen}等人,J.Log。阿尔盖布。方法计划。105、28-46(2019年;Zbl 1423.68284) 全文: 内政部
休伯特Garavel 嵌套单位Petri网。 (英语) Zbl 1427.68195号 J.日志。阿尔盖布。方法计划。 104, 60-85 (2019). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.Log。阿尔盖布。方法计划。104、60-85(2019年;Zbl 1427.68195) 全文: 内政部 哈尔
杰里米·斯普洛斯顿 有限互模拟概率混合自动机的验证与控制。 (英语) Zbl 1417.68105号 J.日志。阿尔盖布。方法计划。 103, 46-61 (2019).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},J.Log。阿尔盖布。方法计划。103、46-61(2019年;Zbl 1417.68105) 全文: 内政部 链接
内维尔·格雷奇;伯恩德·菲舍尔;朱利安·拉特克 抢占式类型检查。 (英语) Zbl 1400.68056号 J.日志。阿尔盖布。方法计划。 101, 151-181 (2018).MSC公司:68号30 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Grech}等人,J.Log。阿尔盖布。方法计划。101151-181(2018;Zbl 1400.68056) 全文: 内政部 链接
沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 (英语) Zbl 1401.68247号 J.日志。阿尔盖布。方法计划。 101, 132-150 (2018).MSC公司:68兰特 03B35型 03G15年 05C22号 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。方法计划。101132-150(2018;Zbl 1401.68247) 全文: 内政部
玛丽亚,马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 概率定时图变换系统。 (英语) Zbl 1400.68058号 J.日志。阿尔盖布。方法计划。 101, 110-131 (2018).MSC公司:68号30 2012年第68季度 65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人,J.Log。阿尔盖布。方法计划。101、110-131(2018;Zbl 1400.68058) 全文: 内政部 链接
卡默·阿皮尼;瓦尔莫·维尼;维萨尔·沃达尼 基于地图的抽象域的需求驱动的过程间分析。 (英语) Zbl 1400.68054号 J.日志。阿尔盖布。方法计划。 100, 57-70 (2018).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Apinis}等人,J.Log。阿尔盖布。方法计划。100,57-70(2018;Zbl 1400.68054) 全文: 内政部
彼得·贝兹克;尼古拉·贝内什;伊万娜·乔纳;JiříBarnat 时间自动机的时钟LTL参数综合。 (英语) Zbl 1395.68164号 J.日志。阿尔盖布。方法计划。 99, 114-142 (2018).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bezděk}等人,J.Log。阿尔盖布。方法计划。99、114——142(2018;Zbl 1395.68164) 全文: 内政部
西尔万·戴勒;大卫·豪扎尔;克劳德·马奇;扬尼克·莫伊 为反例生成插入最弱的前提演算。 (英语) Zbl 1395.68097号 J.日志。阿尔盖布。方法计划。 99, 97-113 (2018).MSC公司:68N99型 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Dailler}等人,J.Log。阿尔盖布。方法计划。99,97-113(2018;Zbl 1395.68097) 全文: 内政部 哈尔
Nathalie Bertrand;帕特里夏·布耶;托马斯·布里海耶;皮埃尔·卡利埃 随机转移系统什么时候可以驯服? (英语) Zbl 1394.68243号 J.日志。阿尔盖布。方法计划。 99, 41-96 (2018).MSC公司:68问题85 60J20型 65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,J.Log。阿尔盖布。方法计划。99、41-96(2018年;Zbl 1394.68243) 全文: 内政部 arXiv公司
托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;菲利普·加德纳 关于指定和验证并发模块的观点。 (英语) Zbl 1395.68187号 J.日志。阿尔盖布。方法计划。 98, 1-25 (2018).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Dinsdale-Young}等人,J.Log。阿尔盖布。方法计划。98,1-25(2018;Zbl 1395.68187) 全文: 内政部
罗伯托·戈里埃里 有限状态机的验证:分布式方法。 (英语) 兹比尔1430.68152 J.日志。阿尔盖布。方法计划。 96, 65-80 (2018).MSC公司:60年第68季度 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri},J.Log(J·洛格)。阿尔盖布。方法计划。96、65-80(2018年;Zbl 1430.68152) 全文: 内政部
马里恩·古特穆勒;加布里埃尔·科罗纳;马丁·昆森 用于遗留分布式应用程序的正式动态验证的系统级状态相等检测。 (英语) Zbl 1430.68153号 J.日志。阿尔盖布。方法计划。 96, 1-11 (2018).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Guthmuller}等人,J.Log。阿尔盖布。方法计划。96,1--11(2018;Zbl 1430.68153) 全文: 内政部 哈尔
直纪西田;阿德里安·帕拉西奥斯;德国维达尔 项重写中的可逆计算。 (英语) Zbl 1381.68107号 J.日志。阿尔盖布。方法计划。 94, 128-149 (2018).MSC公司:2012年第68季度 68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,J.Log。阿尔盖布。方法计划。94、128——149(2018年;Zbl 1381.68107) 全文: 内政部 arXiv公司 链接
马西里奥·奥·莱莫斯。;尤里·吉尔·丹塔斯;Fonseca,Iguatemi E。;Vivek Nigam先生 关于TDoS攻击选择性防御正式验证的准确性。 (英语) Zbl 1476.68152号 J.日志。阿尔盖布。方法计划。 94, 45-67 (2018).MSC公司:60年第68季度 68英里11 90B18号机组 94A60 PDF格式BibTeX公司 XML格式引用 \textit{M.O.O.Lemos}等人,J.Log。阿尔盖布。方法计划。94、45-67(2018年;Zbl 1476.68152) 全文: 内政部 arXiv公司
马尔科·帕维奥蒂;杰斯珀·本特森 使用分离逻辑正式验证低级代码的异常。 (英语) Zbl 1382.68053号 J.日志。阿尔盖布。方法计划。 94, 1-14 (2018).MSC公司:68号30 03B70号 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Paviotti}和\textit{J.Bengtson},J.Log。阿尔盖布。方法计划。94,1-14(2018年;兹比尔1382.68053) 全文: 内政部 链接
约翰·卡米莱里。;杰拉尔多·施奈德 规范性文件的建模和分析。 (英语) Zbl 1371.68176号 J.日志。阿尔盖布。方法计划。 91, 33-59 (2017).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Camilleri}和\textit{G.Schneider},J.Log。阿尔盖布。方法计划。91、33-59(2017年;Zbl 1371.68176) 全文: 内政部
阿穆尔·布利法,R。;亨利奥,L。;O.库兰基纳。;Madelaine,E。;A.萨武。 异步组件的行为语义。 (英语) Zbl 1407.68271号 J.日志。阿尔盖布。方法计划。 89, 1-40 (2017).MSC公司:68问题55 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Ameur-Boulifa}等人,J.Log。阿尔盖布。方法计划。89,1-40(2017;Zbl 1407.68271) 全文: 内政部 哈尔
巴赫·鲍尔森,卡斯珀;彼得·莫塞斯(Peter D.Mosses)。 基于标志的大步语义。 (英语) Zbl 1362.68160号 J.日志。阿尔盖布。方法计划。 88, 174-190 (2017).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.巴赫·鲍尔森}和\textit{P.D.摩斯},J.洛格。阿尔盖布。方法计划。88、174--190(2017年;Zbl 1362.68160) 全文: 内政部 arXiv公司 链接
巴托克·克林;比塔·纳希 SOS规范的一些不确定属性。 (英语) Zbl 1359.68196号 J.日志。阿尔盖布。方法计划。 87, 94-109 (2017).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{B.Nachyła},J.Log。阿尔盖布。方法计划。87,94-109(2017年;兹比尔1359.68196) 全文: 内政部
亚历山德罗·马吉;玛丽内拉·彼得罗奇;安吉洛·斯波格纳迪;弗朗西斯科·蒂埃齐 一种基于语言的Twitter交互建模和分析方法。 (英语) Zbl 1359.68197号 J.日志。阿尔盖布。方法计划。 87, 67-91 (2017).MSC公司:60年第68季度 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggi}等人,J.Log。阿尔盖布。方法计划。87、67-91(2017年;Zbl 1359.68197) 全文: 内政部
卡米洛·罗查;何塞·梅塞盖尔;塞萨尔·穆尼奥斯 重写模块SMT和开放系统分析。 (英语) Zbl 1353.68156号 J.日志。阿尔盖布。方法计划。 86,第1号,269-297(2017).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}等人,J.Log。阿尔盖布。方法计划。86,No.1,269--297(2017;Zbl 1353.68156) 全文: 内政部
马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 面向合同的系统的可验证抽象。 (英语) Zbl 1353.68194号 J.日志。阿尔盖布。方法计划。 86,第1期,159-207(2017).MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法计划。86,第1号,159--207(2017;Zbl 1353.68194) 全文: 内政部
刘,思;彼得·塞巴·奥维茨基;何塞·梅塞盖尔 在Real-Time Maude中对移动自组网进行建模和分析。 (英语) Zbl 1356.68123号 J.日志。阿尔盖布。方法计划。 85,第1号,第1部分,34-66(2016).MSC公司:2012年第68季度 68M10个 68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人,J.Log。阿尔盖布。方法计划。85,第1号,第1部分,34--66(2016;Zbl 1356.68123) 全文: 内政部
蒋玉熙;穆信诚 从关系规范中正式推导贪婪算法:教程。 (英语) Zbl 1355.68049号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,879-905(2016).MSC公司:68号30 68甲15 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{Y.-H.Chiang}和\textit{S.-C.Mu},J.Log。阿尔盖布。方法计划。85,第5号,第2部分,879--905(2016;Zbl 1355.68049) 全文: 内政部
安东尼娜·奈菲沃达 作为前缀文法的乒乓协议:通过程序转换进行建模和验证。 (英语) Zbl 1348.68084号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,782-804(2016).MSC公司:2012年第68季度 68号30 68页30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nepevoda},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,782--804(2016;Zbl 1348.68084) 全文: 内政部
拉马努贾姆,R。;Sheerazuddin,S。 web服务编排的可实现时态逻辑。 (英语) Zbl 1348.68148号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,759-781(2016).MSC公司:60年第68季度 68英里11 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.Sheerazuddin},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,759--781(2016;Zbl 1348.68148) 全文: 内政部
莫里斯·比克。;亚历山德罗·范特奇;斯特凡妮娅·格内西;佛朗哥,马赞蒂 产品族可变性建模和分析:具有可变性约束的模态转换系统的模型检查。 (英语) Zbl 1351.68170号 J.日志。阿尔盖布。方法计划。 85,第2期,287-315(2016).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。阿尔盖布。方法计划。85,第2号,287--315(2016;Zbl 1351.68170) 全文: 内政部
鲁道夫·伯格哈默;彼得·霍夫纳;Stucke,Insa公司 关系的基数和关系近似算法。 (英语) Zbl 1351.68152号 J.日志。阿尔盖布。方法计划。 85,第2号,269-286(2016).MSC公司:60年第68季度 03G15年 68号30 68周25 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,J.Log。阿尔盖布。方法计划。85,No.2,269--286(2016;Zbl 1351.68152) 全文: 内政部
马耳他州洛豪;Stephan门尼克;豪克·巴勒;拉尔斯·里贝克 面向增量的软件产品线的增量模型检查。 (英语) Zbl 1346.68061号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,245-267(2016).MSC公司:68号30 68N99型 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Lochau}等人,J.Log。阿尔盖布。方法计划。85,第1号,第2部分,245-267(2016;兹bl 1346.68061) 全文: 内政部
阿米尔·贾汉加德·拉夫桑贾尼;米利安·霍塞纳巴迪(Mirian-Hosseinabadi)、塞耶德·哈桑(Seyed-Hassan) ORM模型的轻量级形式化和验证。 (英语) Zbl 1329.68170号 J.日志。阿尔盖布。方法计划。 84,第4期,534-549(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jahangard-Rafsanjani}和\textit{S.-H.Mirian-Hosseinabadi},J.Log。阿尔盖布。方法计划。84,第4号,534--549(2015;Zbl 1329.68170) 全文: 内政部
穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 (英语) Zbl 1329.68169号 J.日志。阿尔盖布。方法计划。 84,第4期,505-533(2015).MSC公司:68问题55 03B70号 2010年第68季度 2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer},J.Log。阿尔盖布。方法计划。84,第4号,505--533(2015;Zbl 1329.68169) 全文: 内政部
内尔玛·莫雷拉;大卫·佩雷拉;西芒,索萨甜瓜 Coq中Kleene代数项等价性的判定。 (英语) Zbl 1329.68232号 J.日志。阿尔盖布。方法计划。 84,第3期,377-401(2015).MSC公司:第68页第15页 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,J.Log。阿尔盖布。方法计划。84,第3号,377--401(2015;Zbl 1329.68232) 全文: 内政部
沃尔特·古特曼 惰性和严格计算的无限执行。 (英语) Zbl 1329.68112号 J.日志。阿尔盖布。方法计划。 84,第3期,326-340(2015).MSC公司:2005年第68季度 68号30 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。方法计划。84,第3号,326--340(2015;Zbl 1329.68112) 全文: 内政部
普洛塔萨,维奥雷尔;回来了,拉尔夫·约翰;约翰·埃里克森 Isabelle中不变图的验证和代码生成。 (英语) Zbl 1304.68032号 J.日志。阿尔盖布。方法计划。 84,第1期,19-36(2015).MSC公司:68号30 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人,J.Log。阿尔盖布。方法计划。84、1号、19-36(2015;Zbl 1304.68032) 全文: 内政部
潘安敦;迈克尔·汉森。 使用函数编程实现多核并行的方法:基于Presburger算法的案例研究。 (英语) Zbl 1304.68130号 J.日志。阿尔盖布。方法计划。 84,第1期,2-18(2015).MSC公司:60年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.-D.Phan}和\textit{M.R.Hansen},J.Log。阿尔盖布。方法计划。84,编号1,2--18(2015;Zbl 1304.68130) 全文: 内政部
克里斯蒂娜·塞塞莱亚努(编辑);保罗·佩特森(编辑) 前言。 (英语) Zbl 1305.00158号 J.日志。阿尔盖布。方法计划。 84,第1、1号(2015).MSC公司:00B25型 68-06 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Seceleanu}(编辑)和\textit{P.Pettersson}(主编),J.Log。阿尔盖布。方法计划。84,第1,1号(2015年;兹bl 1305.00158) 全文: 内政部
法布里西奥·比昂迪;Legay、Axel;尼尔森,Bo Fries;安德烈·索夫斯基 最大化马尔可夫过程的熵。 (英语) Zbl 1371.68175号 J.日志。阿尔盖布。方法计划。 83,编号5-6,384-399(2014).MSC公司:60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{F.Biondi}等人,J.Log。阿尔盖布。方法计划。83,第5--6384--399号(2014;Zbl 1371.68175) 全文: 内政部 哈尔
JoséN·奥利维拉。 函数依赖的“Hoare逻辑”的关系代数方法。 (英语) Zbl 1434.68144号 J.日志。阿尔盖布。方法计划。 83,第2期,249-262(2014).MSC公司:第68页,共15页 03B70号 03G15年 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}、J.Log。阿尔盖布。方法计划。83,第2号,249--262(2014;Zbl 1434.68144) 全文: 内政部