Record the whole design process with predicts, supplying interfaces to automatic deduction module.

以谓词的形式实时记录设计全过程，为后续自动推理模块提供接口。

youdao

On the ground of deduction, the paper chose a more serials of public key authentication protocols to use the tool SPV for automatic verification, and got expected results.

在进行公理推导的基础上，本文还利用工具SPV对更多的公钥认证协议进行了自动化验证，与协议推导取得了一致的验证结果。

youdao

Tax is the category that makes us the most uncomfortable and, for most people, an automatic deduction.

FORBES: How to Manage Your Personal Cash Flow

While people could opt out any time, most people would never even notice this small automatic deduction.

CNN: One way to defeat the NRA

Set up an automatic deduction from your paycheck or bank account.

FORBES: Creating Your 2013 Goals