>

proving correctness

📖 中文释义

  1. [计] 验证正确性