问问题描述
Pvs是什么意思，求路过的大神指点，急！
答精选答案
PVS是原型验证系统(Prototype Verification System)的缩写，斯坦福研究机构在过去20年中开发了一系列验证系统。
开发PVS的目的是把它作为一个重量级验证系统EHDM的轻量级原型，以探索实现EHDM所需的相关技术，PVS这一名字正是由此而来.我们在设计并发面向对象广谱规约语言ND一C00SL时，拟对该语言的核心部分进行验证，因此，对PVS作了较为深入的剖析。
本文来自作者[zhongzhoudaxue]投稿，不代表公众科技网立场，如若转载，请注明出处：https://www.cpst.net.cn/lizhi/336808.html
评论列表（4条）
我是公众科技网的签约作者“zhongzhoudaxue”！
希望本篇文章《Pvs是什么意思》能对你有所帮助！
本站[公众科技网]内容主要涵盖：教育咨询,知识百科
本文概览：PVS是原型验证系统(Prototype Verification System)的缩写，斯坦福研究机构在过去20年中开发了一系列验证系统。开发PVS的目的是把它作为一个重量级验证系统EHDM的轻量级原型，以探索实现EHDM所需的相关技术，PVS这一名字正是由此而来.我们在设计并发面向对象广谱规约语言ND一C00SL时，拟对该语言的核心部分进行验证，因此，对PVS作了较为深入的剖析。