proving correctness
proving correctness是什么意思、proving correctness怎么读
【计】 验证正确性
proving correctness汉语翻译
【计】 验证正确性