自动验证 meaning in English
automated proof
autoverify
Examples
- Automate validation to catch change bugs
自动验证以捕捉更改“臭虫” - To disable automatic validation , set the
若要禁用自动验证，请将 - Model checking is an important technology of automatic verification
模型检验( modelchecking )是一种重要的自动验证技术。 - You can validate an xml document on demand or automatically when you save the document
可以在需要时验证xml文档，或在保存文档时自动验证。 - It s updated in memory and on disk when a new security label is applied to the file
请这样做，以便自动验证正在连接的服务器确实是同一台服务器。