期刊论文

中文

武汉大学学报(理学版)

1671-8836

1999

45

5

673-675

本校为第一机构

讨论了ＸＹＺ／ＶＥＲＩ系统的向后推理机制，具体而言是基本策略，集成策略语言、策略的结构以及在这样的策略集成环境中的向后推理过程。

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 ...