PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.是什么意思_PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句