proving of concurrent program

proving of concurrent program是什么意思、proving of concurrent program怎么读
【计】 并行程序证明

proving of concurrent program汉语翻译

【计】 并行程序证明