Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.

  • 形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。

  • 互联网摘选 2025-01-20 11:41:13

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