摘要
讨论了ＸＹＺ／ＶＥＲＩ系统的向后推理机制，具体而言是基本策略、集成策略语言、策略的结构以及在这样的策略集成环境中的向后推理过程．
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.
出处
《武汉大学学报（自然科学版）》
CSCD
1999年第5期673-675,共3页
Journal of Wuhan University(Natural Science Edition)
