| 证明策略的集成研究 |
| |
| 引用本文： | 何锫,姚跃华,叶吉祥.证明策略的集成研究[J].武汉大学学报(理学版),1999(5). |
| |
| 作者姓名： | 何锫 姚跃华 叶吉祥 |
| |
| 作者单位： | 长沙交通学院计算机科学系!长沙410076 |
| |
| 摘 要： | 讨论了ＸＹＺ／ＶＥＲＩ系统的向后推理机制，具体而言是基本策略、集成策略语言、策略的结构以及在这样的策略集成环境中的向后推理过程．
|
| 关 键 词： | 证明策略 集成策略语言 向后推理 |
Study on Integrated Proof Strategy |
| |
| HE Pei,YAO Yue\|hua,YE Ji\|xiang.Study on Integrated Proof Strategy[J].JOurnal of Wuhan University:Natural Science Edition,1999(5). |
| |
| Authors: | HE Pei YAO Yue\|hua YE Ji\|xiang |
| |
| Abstract: | XYZ/VERI is an interactive computer aided proof system for temporal logic and XYZ/SE program's verifications. This paper discusses its backward deduction mechanism, that is, its basic tactics, integrated tactic language, tactic's structure, and backward deductions in the integrated tactic environment like XYZ/VERI system. |
| |
| Keywords: | proof strategy integrated tactic language backward deduction |
| 本文献已被 CNKI 等数据库收录！ |
|
