code motion validation; equivalence checking; finite state machines with datapath; value propagation;
机译:使用数据流驱动的等效性检查对代码运动技术进行形式验证
机译:使用值传播验证代码运动技术
机译:使用等效性检查在重构后验证并行代码
机译:基于价值传播的等效检查方法,用于验证代码运动技术
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:函数等价检验的代数验证 关于阵列密集源代码的转换