verifying

英 [ˈverɪfaɪɪŋ]

美 [ˈverɪfaɪɪŋ]

v.  核实; 查对; 核准; 证明; 证实
verify的现在分词

计算机

柯林斯词典

• VERB 核实;查证;查清
  If youverifysomething, you check that it is true by careful examination or investigation.
  1. I verified the source from which I had that information...
     我核实了我所获消息的来源。
  2. A clerk simply verifies that the payment and invoice amount match.
     职员只是核实付款和发票上的数额是否一致。
• VERB 证实;证明
  If youverifysomething, you state or confirm that it is true.
  1. The government has not verified any of those reports...
     政府还没有证实那些报告中的任何一个。
  2. I can verify that it takes about thirty seconds.
     我能证明，这大约要用30秒的时间。

英英释义

adj

• serving to support or corroborate
  1. collateral evidence
  Synonym:collateralconfirmativeconfirmingconfirmatorycorroborativecorroboratorysubstantiatingsubstantiativevalidatingvalidatoryverificatory

双语例句

• Model checking is a technique for automatically verifying finite-state concurrent systems.
  模型检验是自动检验有限状态并发系统的技术。
• End users, who are responsible for testing and verifying the warehouse design and implementations.
  终端用户，负责测试和验证仓库的设计和实现。
• Model checking is a formal method for verifying the temporal logic properties of finite state systems.
  模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。
• First of all, SSL can solve the problem of verifying that you are connected to the correct server.
  首先，SSL可以验证是否连接到了正确的服务器。
• Quality Dept. is responsible for verifying the implementation and effects of the solutions.
  质量部组织对责任部门实施情况和效果进行验证。
• Further experiments on verifying technique are also discussed.
  讨论了进一步开展的核查技术实验。
• The frame is also tested on fatigue test machine, verifying the results of analysis.
  然后在疲劳试验机上进行试验，验证理论模型及分析结果的正确性。
• It's possible to decompress, compile, install, and use Samba without verifying the software's authenticity.
  不验证软件的真实性，也可以解压、编译、安装和使用Samba。
• Thus each segment of code would be made responsible for maintaining and verifying the integrity of other segments.
  因此每个代码段将要负责维持和核对其他代码段的完整性。
• It provides a quick and easy way of verifying that a transaction exists when you invoke a particular method.
  它提供了一种简单的方法，用于验证当您调用特定的方法时某个事务是否存在。