10.3969/j.issn.1007-3264.2001.03.001
基于PVS的飞机订票系统的形式化描述与验证
形式化方法主要应用于安全性第一的系统的规范与形式验证.原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境.本文介绍PVS系统的证明方法和特点,并利用PVS系统对飞机订票系统的需求给出了形式化规范,对部分
PVS、形式化规范、形式化证明
6
TP301.2(计算技术、计算机技术)
国家高技术研究发展计划863计划
2004-03-05(万方平台首次上网日期,不代表论文的发表时间)
共5页
1-5