Sch. of Reliability Syst. Eng., Beihang Univ., Beijing, China;
Event-B; safety criteria; verification;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:普通定时Petri网自动转换为Event-B以进行正式验证
机译:具有事件B的时间受限ARQ协议的形式化建模和验证
机译:使用Event-B正式验证软件安全标准
机译:用于安全关键医疗设备软件控制的正式验证技术。
机译:使用Event-B对不精确的系统要求进行形式化分析
机译:集成了安全关键软件的正式验证