中英▼
go top

assertion -based verification

网络释义专业释义

短语

Assertion-based Verification 基于断言的验证方法 ; 基础的验证 ; 基于断言的验证 ; 断言的验证

Complete Assertion Based Verification 全面的基于断言的验证

Transaction Based Assertion Verification 基于事务断言验证

  • 断言验证 - 引用次数：3

    There is also some new techniques and its application in thisdissertation, for example, assertion based verification.

    论文中还介绍了一些新的验证方法，如断言验证，及它们在覆盖率导向验证中的应用。

    参考来源 - 覆盖率导向的验证方法的研究与实现
    基于断言的验证

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

双语例句

  • Supplied as a part of the context, this assertion drives the Dynamic Assembler to choose a particular license verification service implementation based on the customer's location.

    此断言将作为上下文的一部分提供，并驱动dynamic Assembler基于客户的位置选择特定的许可证验证服务实现。

    youdao

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

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

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