java processor; microcoded architecture; event-B; refinement;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:普通定时Petri网自动转换为Event-B以进行正式验证
机译:具有事件B的时间受限ARQ协议的形式化建模和验证
机译:进行事件B中Java处理器的形式验证
机译:逐行自动验证并行处理器中内存一致性的正式验证
机译:使用Event-B对不精确的系统要求进行形式化分析
机译:基于事件-B基于智能合同的正式建模和验证方法