B瓦雷

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