PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.
英
美
PVS是一个确认系统:这就是说,它的语言综合了支持工具和一个定理证明器。
目录
查词历史
英 汉