定理证明辅助工具PVS剖析

摘要：

PVS是斯坦福研究机构开发的强大的规约、验证系统,它的适用领域广泛.在概要介绍PVS的构成、功能后,着重分析了PVS的规约语言、验证系统的特点,以及使得PVS灵活、强大的设计决策和内在机制.

关键词：规约语言、定理证明器、形式化方法

所属期刊栏目：26

分类号：TP311.11(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：140-142