Software

1. CTL-RP

CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference.

Linux platform

• The current version (version 00.22) is under development
  
• The earlier version (Version 00.21) can be download here
  

Contact: lan(at)cueb.edu.cn