CTL-RP代表“计算树逻辑分辨率验证器”。 计算树逻辑(CTL)是分支时间时序逻辑。 CTL-RP是CTL基于分辨率的定理证明者,它利用一阶定理证明者SPASS作为推理的核心引擎。 请查看以下链接以获取更多详细信息。 http://cueb.science/web/software/(如果您在中国内部。)http://ctlrp.sourceforge.net(如果您不在中国内部)。