...
机译:扩展转换:重写规则正确性验证的基础
Expanding transformation; Rule-based equivalent transformation; Rewriting rules; Metacomputation; Correctness verification;
机译:扩展转换:重写规则正确性验证的基础
机译:专用重写:自动验证寄存器传输级中的低功耗转换
机译:基于规则的图重写规则转换:面向高阶图语法
机译:针对重写语义的Java验证的转换规则的自动验证
机译:验证高阶转换语言TL的转换规则。
机译:电磁四极的正确和异常坐标转换规则
机译:针对重写语义的Java验证的自动验证转换规则