TRP公司++ swMATH ID: 14679 软件作者: Hustadt,U.,Konev,B。 描述: TRP++:时间分辨率校准器。TRP++是基于时间分辨率演算的命题线性时间时序逻辑定理证明器的实验C++实现。它是根据GNU通用公共许可证v2(或更高版本)的条款和条件发布的。该项目的主要目标是:为命题时态逻辑开发一种稳健且相对有效的子句解析方法;创建一个实验环境,尝试对时间分辨率进行不同的修改;证明基于时间分辨率的证明程序与其他已知的证明搜索技术具有竞争力。 主页: 网址:https://cgi.csc.liv.ac.uk/~konev/software/trp++/ 相关软件: NuSMV公司;SPASS公司;利维坦;TSPASS公司;超小卫星;TTM公司;阿尔塔;临时雇员;CTL-RP公司;VAMPIRE公司;E定理证明器;nuXmv(数字);促进;BGL公司;增强C++库;YASM公司;波乐萨特;GNU并联;MSPASS公司;RATSY公司 引用于: 20文件 全部的 前5名29位作者引用 7 克莱尔·狄克逊 6 乌尔里希·赫斯塔特 三 维克多·舒潘 三 张兰 2 诺里希罗·卡米德 2 Cláudia Nalon 1 保罗·盖纳 1 Jose Gaintzarain 1 阿尔贝托·格里乔 1 蒙特塞拉特赫尔莫 1 奥利弗·库茨 1 李建文 1 帕基·卢西奥 1 卡斯滕·卢茨 1 约翰·克里斯托弗(John Christopher McCabe-Dansted) 1 玛丽莎·纳瓦罗 1 费尔南多·奥雷哈斯 1 安娜·奥扎基 1 浦、葛光 1 马克·亚历山大·雷诺兹 1 马可·罗维里 1 雷娜特·施密特(Renate A.Schmidt)。 1 马丁·苏达 1 斯特凡诺·托内塔 1 莫西·亚亚科夫·瓦尔迪 1 弗兰克·沃尔特 1 迈克尔·维克托洛维奇(Michael Viktorovich) 1 张丽君 1 朱淑芳 全部的 前5名11篇连载文章中引用 2 自动推理杂志 2 系统设计中的形式化方法 1 信息学报 1 人工智能 1 逻辑研究 1 理论计算机科学 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 AI通信 1 应用逻辑杂志 1 计算机科学中的数学 在4个字段中引用 18 数学逻辑和基础(03-XX) 16 计算机科学(68至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文