PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.

• PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。