mCRL2型

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


zbMATH参考文献(52篇文章引用,1标准件)

显示第1到第20个结果,共52个。
按年份排序(引用)
  1. Basile,Davide;ter Beek,Maurice H.;Pugliese,Rosario:编曲和编排的综合:弥合监管控制和服务协调之间的差距(2020年)
  2. Bouwman,Mark;Luttik,Bas;Willemse,Tim:just paths的现成的活性属性自动分析(2020)
  3. Aceo,Luca;Fábregas,Ignacio;Gregorio Rodríguez,Carlos;Ingólfsdóttir,Anna:投入产出一致性模拟的逻辑特征、规则格式和组合性(2019年)
  4. de Putter,Sander;Wijs,Anton:行为模型到模型转换的形式验证技术(2018)
  5. Gregorio Rodríguez,Carlos;Llana,Luis;Martínez,Rafael:(\mathsfioco\underline\mathsfs)一致性关系的公理语义(2018)
  6. Groote,Jan Friso;Rivera Verduzco,Jao;de Vink,Erik P.:确定概率互模拟的有效算法(2018)
  7. 罗汝白;高、沙沙;李怀林;周世生:基于过程代数的可重构打印系统建模与验证(2018)
  8. da Costa Cavalheiro,Simone André;Foss,Luciana;Ribeiro,Leila:带属性和负应用条件的定理证明图文法(2017)
  9. Dokter,Kasper;Jongmans,Sung Shik;Arbab,Farhad;Bliudze,Simon:《联合与征服:关联BIP和Reo》(2017)
  10. Groote,Jan Friso;Jansen,David N.;Keiren,Jeroen J.A.;Wijs,Anton J.:用于计算结巴等价和分支互模拟的(\mathcalO(m\logn))算法(2017年)
  11. van Delft,Myrthe;Geuvers,Herman;Willemse,Tim A.C.:布尔方程组一致结果的形式化(2017)
  12. Barnat,Jiří;Bauch,Petr;Beneš,Nikola;Brim,Luboš;Beran,Jan;Kratochvíla,Tomš:分析航空电子系统需求的合理性(2016年)
  13. Beohar,Harsh;Mousavi,Mohammad Reza:软件产品线的输入输出一致性测试(2016)
  14. de Frutos Escrig,David;Keiren,Jeroen J.A.;Willemse,Tim A.C.:分支双模拟游戏(2016)
  15. Ghassemi,Fatemeh;Mousavi,Mohammad Reza:产品线过程理论(2016)
  16. 克兰,斯约尔德;加兹达,马吉伊;韦斯林克,威格;威勒姆斯,蒂姆A.C.:不动点逻辑中的抽象(2015)
  17. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  18. Keiren,Jeroen J.A.:平价游戏的基准(2015)ioport公司
  19. 马倩;段振华;张楠;王晓兵:用MSVL的公理化系统验证分布式系统(2015)
  20. ter Beek,Maurice H.;Gnesi,Stefania;Mazzanti,Franco:通过模态规范的模型检查值(2015年)