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