mCRL2型

mCRL2代表微公共表示语言2。它是一种规范语言,可用于指定和分析分布式系统和协议的行为,是µCRL的后续版本。广泛的理论可用于手动验证过程。该理论的一个主要部分已经在附带的工具集中实现,允许对系统进行自动分析和验证。


zbMATH中的参考文献(参考文献52条,1标准件)

显示第1到第20个结果,共52个。
按年份排序(引用)
  1. 巴兹尔,戴维德;特比克,莫里斯H。;普格利泽,罗萨里奥:编曲和编排的综合:弥合监督控制和服务协调之间的差距(2020年)
  2. 布曼,马克;巴斯卢提克;Willemse,Tim:just paths的活性属性的现成自动分析(2020)
  3. 丙酮,卢卡;法布雷加斯,伊格纳西奥;格雷戈里奥·罗德里格斯,卡洛斯;Ingólfsdóttir,Anna:输入输出一致性模拟的逻辑特征、规则格式和组合性(2019)
  4. 去推杆,砂光机;Wijs,Anton:行为模型到模型转换的形式验证技术(2018)
  5. 格雷戈里奥·罗德里格斯,卡洛斯;利亚纳,路易斯;Martínez,Rafael:(\mathsfioco\underline\mathsfs)一致性关系的公理语义(2018)
  6. 格罗特,简·弗里索;Rivera Verduzco,饶;de Vink,Erik P.:确定概率互模拟的有效算法(2018)
  7. 罗汝白;高、沙沙;李怀林;周世生:基于过程代数的可重构印刷系统建模与验证(2018)
  8. 达科斯塔卡瓦莱罗,西蒙安德烈;福斯,露西安娜;Ribeiro,Leila:带属性和负应用条件的图文法的定理证明(2017)
  9. 多克特,卡斯帕;琼曼斯,宋希克;阿尔巴布,法哈德;Bliudze,Simon:《联合与征服:联系BIP和Reo》(2017)
  10. 格罗特,简·弗里索;詹森,大卫·N。;凯伦,杰伦·J·A。;Wijs,Anton J.:计算结巴等价和分支互模拟的(\mathcalO(m\logn))算法(2017)
  11. 范代尔夫特,米尔瑟;格韦尔斯,赫尔曼;Willemse,Tim A.C.:布尔方程组一致结果的形式化(2017)
  12. 巴纳特;鲍奇,彼得;贝尼什,尼古拉;布里姆,卢博什;伯兰,一月;Kratochvíla,Tomš:分析航空电子系统需求的合理性(2016)
  13. 贝奥哈,严厉;Mousavi,Mohammad Reza:软件产品线的输入输出一致性测试(2016)
  14. 德弗鲁托斯·埃斯克里格,大卫;凯伦,杰伦·J·A。;Willemse,Tim A.C.:分支双模拟游戏(2016)
  15. 迦西米,法提米;Mousavi,Mohammad Reza:生产线过程理论(2016)
  16. 克兰,斯约尔德;加兹达,马吉耶;韦斯林克,威格;Willemse,Tim A.C.:不动点逻辑中的抽象(2015)
  17. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  18. Keiren,Jeroen J.A.:平价游戏的基准(2015)ioport公司
  19. 马钱;段振华;张楠;王晓兵:用MSVL的公理化系统验证分布式系统(2015)
  20. 特比克,莫里斯H。;涅西,斯特凡尼亚;Mazzanti,Franco:通过模态规范的模型检查值(2015)