MCRL2

MCRL2代表微通用表示语言2。它是一种规范语言,可以用来指定和分析分布式系统和协议的行为,并且是CRL的继承者。广泛的理论可用于手工验证过程。这一理论的主要部分已经在伴随的工具集中实现,允许系统的自动分析和验证。


ZBMaX中的参考文献(50篇)1标准条款

显示结果1至20的50。
按年份排序(引文
  1. Aceto,卢卡;F·Brgas,伊格纳西奥;GrigoRo RoDr Guez,卡洛斯;ING LFSD-TTIR,安娜:输入输出一致性模拟的逻辑特征、规则格式和组合性(2019)
  2. de Putter,桑德,Wijs,Anton:行为模型到模型转换的形式化验证技术(2018)
  3. 卡洛斯,Llana,路易斯;MalueNez,拉斐尔:(MathsFioCo下划线\ MathsFS)一致性关系的公理语义(2018)
  4. Groote,Jan Friso;Rivera Verduzco,饶;de Vink,Erik P.:一种确定概率互模拟的有效算法(2018)
  5. 罗,Rubai;高,Shasha;李,Huailin;周,Shisheng:基于过程代数的可重构打印系统的建模与验证(2018)
  6. da Costa Cavalheiro,SimOne and Ree;FoSs,Luciana;里贝罗,Leila:具有属性和负应用条件的图文法定理证明(2017)
  7. Dokter,Kasper;琼曼斯,Sung Shik;阿巴布,Farhad;博莱兹,西蒙:联合与征服:有关BIP和Reo(2017)
  8. Groote,Jan Friso;扬森,David N.;Keeln,Jeroen J. A.;Wijs,Anton J.:一个(\ MathCalo(M\Logn))计算口吃等价和分支互模拟的算法(2017)
  9. van Delft,Myrthe;Gever,赫尔曼;WeleMSe,Tim A. C.:布尔方程组一致结果的形式化(2017)
  10. Barnat,吉三立;鲍赫,Per;BeNe,尼古拉;Burm,Lubb.;Beran,J.;KrasoChvia. La,TaMaa:分析航空电子系统需求的健全性(2016)
  11. Beohar,苛刻;穆萨维,Mohammad Reza:软件产品线的输入输出一致性测试(2016)
  12. de Frutos Escrig,戴维;凯仁,Jeroen J. A.;Willemse,Tim A. C.:分支互模拟游戏(2016)
  13. Ghassemi,FATMEEH;穆萨维,Mohammad Reza:生产线过程理论(2016)
  14. Cranen,Sjoerd;加斯达,Maciej;韦塞林克,Wieger;威廉姆斯,Tim A. C.:不动点逻辑中的抽象(2015)
  15. Garavel,休伯特:重读过程计算器中的顺序合成(2015)
  16. 凯伦,Jeroen J. A.:奇偶游戏的基准(2015)
  17. 马,Qian;段,振华;张,南;王,萧冰:用MSVL公理系统验证分布式系统(2015)
  18. Tel-Beek,Maurice H.;GNESI,斯特凡尼亚;MaZhanTi,Franco:模型检验值传递模态规范(2015)
  19. Groote,Jan Friso;穆萨维,Mohammad Reza:通信系统的建模与分析(2014)
  20. 李,Liyi;京特,埃尔莎;Mansky,威廉:CSP(2014)的符号分析工具