Proofs; Automated theorem proving; Why3; Rodin plug-in; Proof reusability; Schematic lemmas;
机译:通过将赛事-b转换为SMV将定理证明和模型检查在安全关键软件开发中结合
机译:通过可重用组件的通用模型实现重用
机译:迈向医院病房的通用建模:简单模型的重用和重建
机译:用可重复使用的通用lemmas证明事件-b型号
机译:软件重用成功策略模型:对信息系统开发中软件重用成功所涉及因素的实证研究
机译:具有数百万个引理的学习辅助定理证明
机译:通过通用实例支持重用事件B的开发
机译:通过最左侧简化证明通用性引理很简单