Property verification is carried out using theorem proving systems.

  • 特性验证使用定理求证系统来实现.

  • 互联网摘选 2025-01-18 16:58:29

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句