郑州大学学报（理学版）2009，Vol.41Issue(4)：31-34,44,5.
基于PVS的ITL定理证明方法
The Method for Proving ITL Theorem by Using PVS
摘要
关键词
区间时序逻辑/原型验证系统/辅助定理证明分类
信息技术与安全科学引用本文复制引用
朱维军,王迤冉,周清雷..基于PVS的ITL定理证明方法[J].郑州大学学报（理学版）,2009,41(4):31-34,44,5.基金项目
国家863高技术研究发展项目,编号2007AA010408 （）
河南省重大科技攻关项目,编号092101210104 （）
河南省教育厅自然科学研究项目,编号2006520015,2008A520024. （）
