零检验是检验计算是否正确的方法。

Zero proof is a procedure of checking computations.

youdao

当年幼的孩子学习计算机科学时，他们会知道，计算机科学不仅仅是一串令人困惑、无穷无尽的字母和数字，而是一个开发应用程序、创建艺术作品或检验假设的工具。

When younger kids learn computer science, they learn that it's not just a confusing, endless string of letters and numbers—but a tool to build apps, or create artwork or test hypotheses.

youdao

最初成本的计算可能被用来检验消费者有足够的信用或者仍然想要定购产品。

The initial price calculation may be used to verify that the customer has sufficient credit or still wants to purchase the products.

youdao

I can check it, so if this was part of some other computation, I want to know, did it find a perfect square or not?

我可以检验它,因此如果这是其它计算的一部分我想知道，它能否找到一个完全平方根呢？

麻省理工公开课 - 计算机科学及编程导论课程节选