定理证明辅助工具PVS剖析

• 作者: 廖宇 杨大军
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 规约语言 定理证明器 形式化方法
• 年，卷（期）: 2000,（9）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 140-142
• 页数: 3页
• 分类号: TP311.11
• 字数: 4750字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2000.09.054

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖宇	南京大学计算机科学与技术系	4	140	3.0	4.0
2	杨大军	南京大学计算机科学与技术系	5	15	3.0	3.0