检验计算

（计算机科学技术）

检验计算（checking computation），计算机科学技术名词，系统求解某个问题已得到结果，再利用其他方法重新求解以验证结果正确性的技术。