pivs是什么

PVS是 原型验证系统（Prototype Verification System）的缩写。它是由斯坦福研究机构在过去20年中开发的一系列验证系统，目的是作为一个重量级验证系统EHDM的轻量级原型，以探索实现EHDM所需的相关技术。PVS这个名字正是由此而来。PVS为在计算机科学中严格、高效地应用形式化方法提供自动化的机器支持，它易于安装、使用和维护，是一个良好的集成环境。