×

B软件

swMATH ID: 10405
软件作者: David Delahaye、Catherine Dubois、Claude Marché、David Mentré
描述: BWare项目是一个工业研究项目,旨在提供一个机械化框架,以支持使用B方法对工业应用程序开发中的证明义务进行自动验证,并且需要高度的可信度保证
主页: http://link.springer.com/chapter/10.1007%2F978-3-662-43652-3_26
相关软件: 第三方交易协议;泽农;迪杜克蒂;Why3号机组;z3(零3);伊西查尔;刚毛;JSetL公司;Z;Z/EVES公司;ProB公司;迷你锌;格林戈;比格尔犬;布吉;ArchSAT公司;CoqInE公司;HARP(HARP);CoqMT公司;iProver(iProver)
引用于: 6文件

连载1篇

2 自动推理杂志

按年份列出的引文