Continuous computer check achieved by duplication of hardware and comparison of results.

• 用两套硬件（例如两个运算器）同时产生的结果进行连续的比较而实现的校验。