中英▼
go top

自动化验证系统

专业释义

  • automated verification system

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • 模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。

    Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定