工作室B

由CLSY开发,Atelier B是一种工业工具,允许操作使用B方法来开发无缺陷的已验证软件(正式软件)。两个版本是可用的:社区版可供任何人不受任何限制,维护版只为维护合同持有人。它被用于开发ALSTOM和西门子在世界各地安装的各种地铁的安全自动化,也用于ATMEL和St微电子公司共同制定的标准认证和系统模型的开发。此外,它已被应用于许多其他部门,如汽车行业,为三款车型的车载电子产品的操作原理建模。Atelier B也被用于航空和航天领域。


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

显示结果1至16的16。
按年份排序(引文

  1. HalMaGrand,彼埃尔:用类型序贯演算完美地证明B方法Fuffl(2016)
  2. Vekris,Dimitris;郎,弗雷德里克;Dima,Calalin;Mateescu,RADU:使用CADP(2016)验证(\ MaTeMeb ^ 3)规范
  3. Vekris,Dimitris;Dima,Calalin:(EB ^ 3)的有效操作语义用于时间属性验证(2013)
  4. Jacquel,梅兰尼;Berkani,卡里姆;德拉哈耶,戴维;杜布瓦,凯瑟琳:用超额演绎的模模理论。ZeNon自动定理证明器在B检验规则验证中的应用(2012)
  5. Jacquel,梅兰尼;Berkani,卡里姆;DelaHaye,戴维;杜布瓦,凯瑟琳:利用深度嵌入和自动定理证明验证B证明规则(2011)
  6. Leuschel,米迦勒;MasART,蒂埃里:B和Z模型通过对称标记的有效近似验证(2010)
  7. 彼得森的互斥算法B抽象系统的逐步发展(2005)
  8. 巴特勒、米迦勒、Leuschel、米迦勒:CSP与B相结合的规范与性质验证(2005)
  9. RukyNasNAS,Rimvydas:并发系统开发的严格环境(2004)
  10. 费雷拉,卡拉;巴特勒,米迦勒:用B精炼法分析补偿业务流程(2003)
  11. Jean Raymond、坎塞尔、Dominique、Laffitte、盖伊:B(2002)中的“高阶”数学
  12. Jean Raymond,Dominique,MeeRy,Dominique:IEEE 1394树识别协议的机械证明和增量开发(2002)
  13. Chartier,彼埃尔:ABS项目:将软件设计的最佳实践与铁路和飞机工业结合(2002)
  14. DoChh,Mielel.;Gravell,安得烈:提取用于数据求精的抽象不变量(2002)
  15. 坎塞尔、Dominique、梅里、Dominique:特征的提炼与提炼(2001)
  16. 伯特,迪迪尔;Cave,弗兰西斯:B抽象系统中有限标记跃迁系统的构造(2000)


进一步的出版物可以在:HTTP://www. ATLILBE.EU/En/工业参考文献