CADP

CADP(“分布式过程的构造和分析”,以前称为“凯撒/ AldiBARAN开发包”)是一种用于通信协议和分布式系统设计的流行工具箱。CADP由VILY团队开发,并连接到各种互补的工具。CADP保持,定期改进,并在许多工业项目中使用。


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

显示结果1至20的127。
按年份排序(引文
  1. Garavel,休伯特:嵌套单位Petri网(2019)
  2. R.J.Van GLabBeek,RoB:确保分布式系统的活跃性:开放性问题(2019)
  3. Akroun,拉赫达尔;Sala·U,格温:通过FIFO和包缓冲器进行自动机通信的自动验证(2018)
  4. de Putter,桑德,Wijs,Anton:行为模型到模型转换的形式化验证技术(2018)
  5. da Costa Cavalheiro,SimOne and Ree;FoSs,Luciana;里贝罗,Leila:具有属性和负应用条件的图文法定理证明(2017)
  6. Dalsgaard,Andreas E.;EnEndidS森,S·任;Fogh,彼得;延森,Lasse S.;Jopson,Tobias S.;Koffman,Po.;;Nelson,S.E.R.M.;Olesen,Y.;PASTVA,Y;SRBA,Jiaii:扩展的依赖图和有效的分布式定点计算(2017)
  7. EvrRad,HuGues;郎,Fr.E.EdRiR:由多路交会的异步进程的正式模型生成的自动分布式代码生成(2017)
  8. Groote,Jan Friso;扬森,David N.;Keeln,Jeroen J. A.;Wijs,Anton J.:一个(\ MathCalo(M\Logn))计算口吃等价和分支互模拟的算法(2017)
  9. Junges,塞巴斯蒂安;Gug,丹尼斯;Katoen,Joost Pieter;ReSink,Arand;Stoelinga,MiiiLle:饮食中的故障树:图形重写的自动还原(2017)
  10. Szpyrka,Marcin;Jasiul,Bartosz:用Petri网评估网络安全和风险传播模型(2017)
  11. Boulgakov,亚历山大;Gibson Robinson,托马斯;罗斯科,A. W.:计算最大弱和其他互模拟(2016)
  12. 切夫罗,Florent,Hurault,奥莱利;屈内克,菲利普:论异步通信的多样性(2016)
  13. de Frutos Escrig,戴维;凯仁,Jeroen J. A.;Willemse,Tim A. C.:分支互模拟游戏(2016)
  14. Fearnley,约翰;Rabe,Markus N.;SeeWe,Sven;张,李俊:连续时间马尔可夫博弈最优控制的有效逼近(2016)
  15. Jebali,Fatma;郎,弗雷德里克;Mateescu,RADU:使用GRL和CADP的GALS系统的形式化建模和验证(2016)
  16. 蒂默,马克;KATOEN,Joost Pieter;van de Pol,哈科;Stoelinga,Mii'LLE:马尔可夫自动机的汇流约简(2016)
  17. Vekris,Dimitris;郎,弗雷德里克;Dima,Calalin;Mateescu,RADU:使用CADP(2016)验证(\ MaTeMeb ^ 3)规范
  18. 查马,IMED Eddin;Belala,Nabil;Saidouni,Djamel Eddine:业务流程时间约束的正式建模和分析(2015)
  19. Cranen,Sjoerd;加斯达,Maciej;韦塞林克,Wieger;威廉姆斯,Tim A. C.:不动点逻辑中的抽象(2015)
  20. Garavel,休伯特:重读过程计算器中的顺序合成(2015)