检验计算(checking computation)是2018年公布的计算机科学技术名词。
系统求解某个问题已得到结果,再利用其他方法重新求解以验证结果正确性的技术。
《计算机科学技术名词 》 (第三版)