proving groundˈpru:viŋ ɡraund英式朗读美式朗读基本解释n. 试验场上一个单词:proving correctness下一个单词:proving of concurrent program