罗丹

Rodin平台是一个基于Eclipse的Event-B IDE,它为细化和数学证明提供了有效的支持。该平台是开源的,有助于Eclipse框架,并且可以通过插件进一步扩展。


zbMATH中的参考文献(参考文献86篇)

显示结果1到20,共86个。
按年份排序(引用)
  1. 德维亚宁,P.N。;Leonova,M.A.:OS Astra Linux特别版访问控制模型的形式化技术,使用Rodin和prob验证event-B形式化方法(2021)
  2. 亨尼克,罗尔夫;克纳普,亚历山大;Madeira,Alexandre:基于事件/数据系统的混合动态逻辑机构(2021)
  3. 斯坦凯蒂斯,保利乌斯;伊利亚索夫,阿列克谢;小林,津木;阿伊特阿默尔,亚明;石川,福佑子;Romanovsky,Alexander:基于改进的分布式信号系统开发(2021)
  4. 维斯特巴卡,因纳;特劳比西纳,埃琳娜:弹性协作多智能体系统建模(2021)
  5. 博格,伊贡;Schewe,Klaus Dieter:递归算法的行为理论(2020)
  6. Cirstea、Horatiu;格雷尔,亚历克西斯;Méry,Dominique:从event-B模型生成分布式程序(2020)
  7. 阿依达拉合伊;哈默勒,拉扎尔;格雷特,穆罕默德;el Ayeb,Béchir:基于事件B的云复合服务验证方法(2020)
  8. 卡利斯齐克,塞扎里;Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019)
  9. 小林,津木;石川,福佑子;Honiden,Shinichi:Event-B模型中保持一致性的细化结构重构(2019)
  10. 林玉辉;邦迪,艾伦;格罗夫,古德蒙德;Maclean,Ewen:通过波纹和校样修补自动化Event-B不变性证明(2019)
  11. Méry,Dominique:通过构建分布式算法进行验证(2019)
  12. 范德哈伦,马提亚斯;帕拉莫诺夫,谢尔盖;詹森,格达;Denecker,Marc:图挖掘的知识表示分析(2019)
  13. 去推杆,砂光机;Wijs,Anton:行为模型到模型转换的形式验证技术(2018)
  14. 车费,伊利;伯大维,让保罗;Filali,Mamoun:过渡系统组合应用到时间自动机的事件代数(2018)
  15. 奥拉特,卡洛斯;皮门特尔,伊莱恩;Rueda,Camilo:访问权限的并发约束编程解释(2018)
  16. 彭,韩;杜承烈;饶,雷;刘周洲:基于iUML-B模式状态机的嵌入式控制系统建模(2018)
  17. Bjørner,《Dines:清单领域:分析和描述》(2017)
  18. 达科斯塔卡瓦莱罗,西蒙安德烈;福斯,露西安娜;Ribeiro,Leila:带属性和负应用条件的图文法的定理证明(2017)
  19. 德玛西,拉米罗;卡斯特罗,巴勃罗F。;迈鲍姆,托马斯·S·E。;Aguirre,Nazareno:容错仿真关系(2017)
  20. 弗朗卡兰扎,阿德里安;丙酮,卢卡;Ingolfsdottir,Anna:Hennessy-Milner逻辑的可监控性(2017)