B瓦雷

BWare项目是一个工业研究项目，旨在提供一个机械化的框架，以支持使用B方法开发工业应用程序所产生的证明义务的自动验证，并要求高可信度保证

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 5篇文章

显示第1到第5个结果，共5个。
按年份排序(引用)

  1. Guillaume Burel；Guillaume Bury；Cauderlier，Raphaël；Delahaye，David；Halmagrand，Pierre；Hermant，Olivier:一阶自动推理：当演绎模理论与实践相结合时（2020）
  2. Halmagrand，Pierre:使用类型化序列演算充分证明B方法公式（2016）
  3. Guillaume Bury；David Delahaye:simplex与tableaux的整合（2015）
  4. David Delahaye；Dubois，Catherine；Marché，Claude；Mentre，David:bware项目：为B证明义务的自动验证建立一个证明平台（2014年）ioport公司
  5. 大卫·德拉哈耶；达米安·多利盖兹；弗里德里克·吉尔伯特；皮埃尔·霍尔马格兰德；奥利维尔·赫尔曼特：泽农模数：当阿基里斯用演绎模数战胜乌龟（2013年）