CADP

CADP(“分布式进程的构造和分析”,以前称为“CAESAR/ALDEBARAN开发包”)是一个流行的用于设计通信协议和分布式系统的工具箱。CADP由INRIA Rhone Alpes的VASY团队开发,并与各种补充工具相连接。CADP得到维护,定期改进,并在许多工业项目中使用。


zbMATH中的参考文献(参考文献130篇文章,1标准件)

显示130个结果中的1到20个。
按年份排序(引用)

1 2 ... 5 6 7 下一个

  1. 比斯平,本杰明;威斯康星州内斯特曼;彼得斯,基尔斯廷:耦合相似性:头32年(2020年)
  2. 布曼,马克;巴斯卢提克;Willemse,Tim:just paths的活性属性的现成自动分析(2020)
  3. Garavel,Hubert:嵌套单元Petri网(2019)
  4. van Glabbeek,Rob:《确保分布式系统的活跃性:开放问题》(2019)
  5. 阿克鲁恩,拉赫达尔;Salaün,Gwen:自动验证通过FIFO和行李缓冲器进行通信(2018年)
  6. 去推杆,砂光机;Wijs,Anton:行为模型到模型转换的形式验证技术(2018)
  7. 达科斯塔卡瓦莱罗,西蒙安德烈;福斯,露西安娜;Ribeiro,Leila:带属性和负应用条件的图文法的定理证明(2017)
  8. 达尔斯加德,安德烈亚斯E。;恩沃尔森,瑟伦;福格,彼得;詹森,小姑娘。;杰森,托比亚斯S。;考夫曼,伊莎贝拉;拉森,金G。;尼尔森,Søren M。;奥列森,马德斯克瑞。;塞缪尔,帕斯瓦;Srba,Jiří:扩展依赖图和高效分布式不动点计算(2017)
  9. 埃弗拉德,胡格;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  10. 格罗特,简·弗里索;詹森,大卫·N。;凯伦,杰伦·J·A。;Wijs,Anton J.:计算结巴等价和分支互模拟的(\mathcalO(m\logn))算法(2017)
  11. 荣格,塞巴斯蒂安;古克,丹尼斯;卡托恩,乔斯特·皮尔特;伦辛克,阿伦德;Stoelinga,Mariëlle:Fault trees on a diet:通过图形重写自动减少(2017)
  12. 斯皮尔卡,马金;Jasiul,Bartosz:用Petri网评估网络安全和风险传播建模(2017)
  13. 布尔加科夫,亚历山大;吉布森·罗宾逊,托马斯;Roscoe,A.W.:计算最大弱和其他交互模拟(2016)
  14. 弗洛伦特,雪佛龙;休罗,奥丽;Quéinnec,Philippe:论异步通信的多样性(2016)
  15. 德弗鲁托斯·埃斯克里格,大卫;凯伦,杰伦·J·A。;Willemse,Tim A.C.:分支双模拟游戏(2016)
  16. 费恩利,约翰;拉贝,马库斯N。;舍韦,斯文;张立军:连续时间马尔可夫对策最优控制的有效逼近(2016)
  17. 杰巴里,法特玛;朗,弗里德里克;Mateescu,Radu:使用GRL和CADP对GALS系统进行正式建模和验证(2016年)
  18. 斯皮尔卡,马金;比尔纳基,杰瑞;Biernacka,Agnieszka:RTCP网络建模和验证的工具和方法(2016)
  19. 蒂默,马克;卡托恩,乔斯特·皮尔特;范德波尔,雅科;Stoelinga,Mariëlle:Markov自动机的汇流简化(2016)
  20. 维克斯,迪米特里斯;朗,弗里德里克;迪玛,加泰林;Mateescu,Radu:使用CADP验证(\mathrmEB^3)规范(2016)

1 2 ... 5 6 7 下一个