Prototype Verification System的意思|示意
美 / /
英 / /
原型验证系统
Prototype Verification System的网络常见释义
原型验证系统 简介 PVS是原型验证系统(Prototype Verification System)的缩写，斯坦福研究机构在过去20年中开发了一系列验证系统，开发PVS的目的是把它作为一个重量级验证系统EHDM的轻量级原型，以探索...