罗丹

RODIN平台是Eclipse的IDE for Evest-B,它提供了对细化和数学证明的有效支持。该平台是开源的,有助于Eclipse框架,并且可以用插件进一步扩展。


ZBMaCT中的参考文献(78篇文章中引用)

显示结果1至20的78。
按年份排序(引文
  1. Karol,伊莎贝尔的对象逻辑(2019)
  2. 小林定人,TSUTUMU;石川,Fuyuki;Honiden,石妮迟:事件B模型中精细结构的一致性保持重构(2019)
  3. 林,Yuhui;邦迪,艾伦;Grov,Gudmund;麦克莱恩,Ewen:通过波动和证明修补自动实现事件B不变证明(2019)
  4. Mey,Dominique:通过构造分布式算法验证(2019)
  5. van der Hallen,马蒂亚斯;帕拉莫诺夫,谢尔盖;詹森,Gerda;Denecker,贾景晖:图挖掘的知识表示分析(2019)
  6. de Putter,桑德,Wijs,Anton:行为模型到模型转换的形式化验证技术(2018)
  7. 票价,Elie;BoDeEix,Jean Paul;Fieli,MaMoun:过渡系统组合的事件代数在时间自动机中的应用(2018)
  8. Olarte,卡洛斯;Pimtell,伊莲;鲁埃达,CAMILO:访问权限并发约束编程解释(2018)
  9. 彭,韩;杜,Chenglie;Rao,雷;刘,Zhouzhou:使用IUML-B模式状态机对嵌入式控制系统进行建模(2018)
  10. B.J.RNER,DIEN:显式域:分析和描述(2017)
  11. da Costa Cavalheiro,SimOne and Ree;FoSs,Luciana;里贝罗,Leila:具有属性和负应用条件的图文法定理证明(2017)
  12. Dimasi,拉米罗;卡斯特罗,Pablo F.;Maibaum,Thomas S. E.;阿吉雷,纳扎雷诺:容错模拟关系(2017)
  13. Francalanza,阿德里安;Aceto,卢卡;英格夫斯多蒂尔,安娜:Hennessy Milner逻辑的可递归递归性(2017)
  14. 格雷特,穆罕默德;哈梅尔,Lazhar;Mammar,Amel;塔塔,萨米尔:基于弹性组件的应用的验证和部署方法(2017)
  15. Jifeng,他:链接编程理论的新路线图(2017)
  16. KaliSyyk,CeZayy;P.K,Karol:伊莎贝尔对象逻辑(2017)中MiZar性质的表示和操纵
  17. 李、秦、史米斯、格雷姆:用声明的信念和欲望来精炼自主代理人(2017)
  18. Usman,Siddique,UMAIR:结合细化和信号时序逻辑的生物系统(2017)
  19. 史米斯,格雷姆;冬季,克尔斯滕:相关痕迹细化与线性化(2017)
  20. Ameloot,Tom J.;Van den Bussche,简;Marczak,William R.;阿尔瓦罗,彼得;Helel斯坦,Posi:在稳定的基础上放置基于逻辑的分布式系统(2016)