在执行之前，必须对报告进行验证。

Before executing reports they should be validated.

youdao

还要使用数据类型和断言进行验证。

You should validate using data types and assertions as well.

youdao

那些消息头没有通过TAI进行验证。

Those headers are not validated by the TAI.

youdao

You can check that both firms are then playing a best response, so that's all right.

你们可以验证,两家公司都进行了最佳对策,那是正确的

耶鲁公开课 - 博弈论课程节选

And that idea was, we make a guess in the middle, we test it so this is kind of a guess and check, and if the answer was too big, then we knew that we should be looking over here. If it was too small, we knew we should be looking over here, and then we would repeat.

这些有理数是有序排列的,然后我们的想法是,首先在中间取个数作为猜想数，然后对这个猜想数进行验证，如果由猜想数得到的答案太大,我们知道应该跳过，比猜想数大的那个区间，如果太小的话。

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