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文件 全部的 前5名12位作者引用 4 大卫·德拉哈耶 三 纪尧姆·伯里 三 皮埃尔·哈尔马格兰德 2 奥利维尔·赫曼特 1 纪尧姆·伯勒 1 拉斐尔·考德利埃 1 克里斯蒂亚,马克西米利亚诺 1 西蒙·克鲁恩斯 1 Damien Doligez 1 皮埃尔·卢伊斯·尤夫拉德 1 弗莱德里克·吉尔伯特 1 Gianfranco罗西 连载1篇 2 自动推理杂志 在2个字段中引用 6 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的引文