proving of concurrent program的意思|示意
美 / ˈpru:viŋ ɔv kənˈkɜ:rənt ˈprəuɡræm /
英 / ˈpruvɪŋ ʌv kənˈkə.rənt ˈproˌɡræm /
[计] 并行程序证明