mCRL2型 swMATH ID: 1496 软件作者： Groote，Jan Friso；Aad Mathijssen；米歇尔·A·雷尼尔。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 描述： mCRL2代表micro Common Representation Language 2。它是一种规范语言，可用于指定和分析分布式系统和协议的行为，是µCRL的继承者。广泛的理论可用于手动验证过程。该理论的主要部分已在附带的工具集中实现，允许对系统进行自动分析和验证。 主页： http://www.mcrl2.org/release/user_manual/index.html 关键词： mCRL2语言 相关软件： CADP公司；Uppaal公司；棱镜；LTSmin公司；自旋蛋白；里奥；NuSMV公司；微CRL；PGSolver公司；莫德；FDR3公司；CAESAR_解决；github；WSAT公司；Coq公司；MIO工作台；M-树；BISIMULATOR（双模拟）；Exp.未结；TVT电视 引用于： 70文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用mCRL2分析分布式系统。 Zbl 1171.68400号Jan Friso，格鲁特；亚德·马蒂杰森；米歇尔·雷尼尔斯（Michel A.Reniers）。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 2009 全部的 前5名142位作者引用 13 Tim A.C.Willemse。 12 Jan Friso，格鲁特 9 埃里克·P·德文克。 4 莫里斯·比克。 4 安东·威伊斯（Anton J.Wijs）。 三 卢卡·埃特罗 三 斯乔德·克兰恩 三 Ingólfsdóttir，安娜 三 Jeroen J.A.Keiren。 三 米歇尔·阿德里安 三 格温·萨拉恩 2 苏珊娜·安多瓦 2 法哈德·阿尔巴 2 马克·布曼 2 莫里斯·布吕诺格 2 马克·德内克 2 威廉·扬·福克金 2 休伯特·加拉维 2 法特梅·加塞米 2 卡洛斯·格雷戈里奥·罗德里格斯 2 鲁克·格罗内韦根（Luuk P.J.Groenewegen）。 2 钟曼，宋世堂。 2 纳塔莉亚·科卡什 2 克里斯蒂安·克劳斯 2 鲁本·拉波尔 2 莫里斯·拉维奥 2 巴斯·卢提克 2 亚德·马蒂杰森 2 穆罕默德·穆萨维 2 贝斯·普洛格 2 尼玛·鲁希 2 斯坦珀斯，弗兰克·P·M。 2 范格拉贝克、罗伯特·扬 2 威格·威瑟林克 1 安东尼斯·阿奇利奥斯 1 埃利·阿纳斯塔西亚迪 1 JiříBarnat 1 大卫·巴兹勒 1 彼得·鲍赫 1 尼古拉·贝内什 1 哈什·贝哈尔 1 简·伯兰 1 西蒙，布利兹 1 卢博什·布里姆 1 文森佐·西安西亚 1 牧场克利夫兰 1 吉尔勒米纳·克莱杜 1 赫莱内·科拉维扎 1 Jean-Paul彗星 1 西尔维亚·克拉法 1 达科斯塔·卡瓦莱罗，西蒙·安德烈 1 M.Torabi Dashti 1 戴维·德·弗鲁托斯·埃斯克里格 1 胡安·德·拉腊 1 德普特、桑德 1 汉斯·佩特·迪费尔 1 Dokter，Kasper公司 1 段振华 1 弗朗西斯科·杜兰 1 里克·埃尔肯斯 1 伊格纳西奥·法布雷加斯 1 卢西亚娜·福斯 1 福田、阿基拉 1 默多克·詹姆斯·加贝 1 高、沙沙 1 约翰内斯·加里斯 1 安东尼奥·加门迪亚 1 马西耶·加兹达。 1 简·赫尔曼·杰弗斯 1 莱蒂蒂亚·吉巴特 1 格内西、斯特凡尼亚 1 戈梅斯·马丁内斯，埃琳娜 1 埃丝特·格拉 1 埃尔萨·甘特。 1 哈菲迪，Y。 1 罗尔夫·亨尼克 1 皮特·希玛 1 彼得·霍夫纳 1 侯赛因·霍贾特 1 大卫·詹森（David N.Jansen）。 1 孔伟强 1 伊戈尔·康诺夫（Igor V.Konnov）。 1 蒂姆·库特斯（Tim W.D.M.Kouters）。 1 托马斯·克拉托奇维拉 1 弗雷德里克·朗 1 金·古德斯特兰·拉森 1 迭戈·拉特拉 1 李怀林 1 李丽怡 1 路易斯·利亚纳 1 鲁拜·罗 1 杰拉尔德·吕特根 1 马，钱 1 威廉·曼斯基 1 简·马滕斯 1 马蒂·奥利特，纳西索 1 拉斐尔·加西亚·马丁内斯 1 梅克·马西克 1 弗朗科·马扎蒂 1 斯特凡·米利厄斯 …还有42位作者 全部的 前5名13篇连载文章中引用 11 程序设计中的逻辑和代数方法杂志 6 计算的形式方面 5 理论计算机科学 三 信息学报 三 计算机程序设计科学 2 信息与计算 2 逻辑与代数程序设计杂志 2 ACM计算逻辑汇刊 2 计算机科学中的逻辑方法 1 工程中的数学问题 1 Informatica（卢布尔雅那） 1 计算机基础理论 1 算法 全部的 前5名在6个字段中引用 69 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 系统论；控制（93至XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文