Pvs是什麼意思

PVS是原型驗證系統(Prototype Verification System)的縮寫，斯坦福研究機構在過去20年中開發了一系列驗證系統。

開發PVS的目的是把它作爲一個重量級驗證系統EHDM的輕量級原型，以探索實現EHDM所需的相關技術，PVS這一名字正是由此而來.我們在設計併發面向對象廣譜規約語言ND一C00SL時，擬對該語言的核心部分進行驗證，因此，對PVS作了較爲深入的剖析。